Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ...
No ratings yet
May 15, 2006
·
English
·
Paperback
(252 pages)