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 /
57
Main Authors: | International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy), Cimatti, Alessandro, Bernardo, Marco |
---|---|
Format: | |
Language: | eng |
Published: |
Berlin : Springer,
2006
|
Subjects: |
Similar Items
-
Formal Methods : Applications And Technology :11th International Workshop, FMICS 2006 And 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
by: International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany), et al.
Published: (2007) -
Formal design methods for CAD /
by: Gero, John S., et al.
Published: (1994) -
Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers /
by: FAST 2006 (2006 : Hamilton, Ont.), et al.
Published: (2007) -
Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
by: International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England), et al.
Published: (2005) -
EVOLUÇÃO DO EMPREGO FORMAL NO MARANHÃO NO PERÍODO 2006-2016
by: Rafael Thalysson Costa Silva, et al.
Published: (2021-01-01)