ID:DA10301761
International Conference on Formal Methods in Computer-Aided Design
Formal Methods in Computer Aided Design conference
Search authors sharing the same name
edited by Alessandro Cimatti, Robert B. Jones
IEEE c2008
Available at 1 libraries
IEEE Computer Society c2007
IEEE Computer Society c2006
Alan J. Hu, Andrew K. Martin (eds.)
Springer c2004 Lecture notes in computer science 3312
Available at 10 libraries
Mark D. Aagaard, John W. O'Leary (eds.)
Springer c2002 Lecture notes in computer science 2517
Available at 24 libraries
Warren A. Hunt Jr., Steven D. Johnson (eds.)
Springer c2000 Lecture notes in computer science 1954
Available at 32 libraries
Ganesh Gopalakrishnan, Phillip Windley, (eds.)
Springer c1998 Lecture notes in computer science 1522
Available at 39 libraries
Mandayam Srivas, Albert Camilleri (eds.)
Springer c1996 Lecture notes in computer science 1166
Available at 50 libraries
