ID:DA10301761
International Conference on Formal Methods in Computer-Aided Design
Formal Methods in Computer Aided Design conference
同姓同名の著者を検索
edited by Alessandro Cimatti, Robert B. Jones
IEEE c2008
所蔵館1館
IEEE Computer Society c2007
IEEE Computer Society c2006
Alan J. Hu, Andrew K. Martin (eds.)
Springer c2004 Lecture notes in computer science 3312
所蔵館10館
Mark D. Aagaard, John W. O'Leary (eds.)
Springer c2002 Lecture notes in computer science 2517
所蔵館24館
Warren A. Hunt Jr., Steven D. Johnson (eds.)
Springer c2000 Lecture notes in computer science 1954
所蔵館32館
Ganesh Gopalakrishnan, Phillip Windley, (eds.)
Springer c1998 Lecture notes in computer science 1522
所蔵館39館
Mandayam Srivas, Albert Camilleri (eds.)
Springer c1996 Lecture notes in computer science 1166
所蔵館49館