http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Formal methods for hardware verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures
International School on Formal Methods for the Design of Computer, Communication, and Software Systems 2006 : Bertinoro, Italy)
Marco Bernardo, Alessandro Cimatti (eds.).
Lecture notes in computer science ; 3965