International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy)
Top Subjects
- Formal methods (Computer science) -- Congresses (1)
- Integrated circuits -- Verification -- Congresses (1)
Books by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy)
Total count: 1
