Formal Methods for Hardware Verification: 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems SFM 2006
No ratings yet
Aug 26, 2008
·
English
·
Paperback
(260 pages)