Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software ...
No ratings yet
Jun 14, 2012
·
English
·
Paperback
(446 pages)