AFM '07 : second Workshop on Automated Formal Methods : November 6, 2007, Atlanta, Georgia

AFM '07 : second Workshop on Automated Formal Methods : November 6, 2007, Atlanta, Georgia

Bibliographic Details
Corporate Authors: International Conference on Automated Software Engineering 2007 (-), Association for Computing Machinery-Digital Library
Other Authors: Rushby, John Contributor (contributor), Shankar, N Contributor
Format: eBook
Language:Inglés
Published: [Place of publication not identified] ACM 2007
Series:ACM Conferences
Subjects:
Engineering & Applied Sciences
Computer Science
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714331506719
Description
Item Description:Bibliographic Level Mode of Issuance: Monograph
Physical Description:1 online resource (80 pages)

Similar Items