books_chapters
Detail
Publication date: 1 de June, 2021Chapter – 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 |