Formal Methods for Executable Software Models (14th International School on Formal Methods for the Design of Computer, Communication, and Software)
No ratings yet
May 21, 2014
·
English
·
Paperback
(351 pages)