Detail

Publication date: 1 de June, 2021

Chapter – Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures


Publisher Springer Berlin Heidelberg
Series Lecture Notes in Computer Science
Volume 5751
Edition Frank S. de Boer and Marcello M. Bonsangue and Eric Madelain
Pub. Date 01/09/2009