Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures: 7866 (Lecture Notes in Computer Science)
by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue
ISBN 13: 9783642406140
Format: Paperback (252 pages) Publisher: Springer Published: 26 Aug 2013
Save for later