| Document Date: 2013-10-30 13:19:51
Open Document File Size: 1,24 MBShare Result on Facebook
City Cambridge / Edinburgh / Newcastle / / Company BT / The University of Cambridge Computer Laboratory / / Country France / / Currency pence / / / Facility William Gates Building / / IndustryTerm business to business / proof search / / Organization Artificial Intelligence for Formal Methods / University of Cambridge Computer Laboratory / / Person Yuhui Lin / Asif Saleem / Gudmund Grov / Lawrence Paulson / Zongyan Huang / Moa Johansson Gudmund Grov / Leo Freitas / Jeremy Gow / Jasmin Blanchette / Lawrence C. Paulson / Colin Farquhar / Daniela Grijincu / Rosemary Monahan / Ursula Martin / Aleks Kissinger / Ewen Maclean / / Position HB / Prime Minister / Hb / q? i J v * / ?HB / / Product Sonic Impact i-F2 Speakers / Cowon D2+ Portable Audio Device / / PublishedMedium Machine Learning / / RadioStation BKT +iX AM / KQ`2 (j8)X AM / / Technology artificial intelligence / machine learning / /
SocialTag |
Contributions to AI4FM 2013 the 4th International Workshop on Artificial Intelligence for Formal Methods by Gudmund Grov, Ewen Maclean & Leo Freitas (Eds.)