|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| tipoP-Damiani:FMCO-2011 (Conference proceedings) | |
| Editor(s) | Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer and Marcello M. Bonsangue |
| Title | « Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers » |
| Series | Lecture Notes in Computer Science |
| Volume | 7542 |
| Year | 2013 |
| Publisher | Springer |
| ISBN number | 978-3-642-35886-9, 978-3-642-35887-6 |
| BibTeX code |
@proceedings{tipoP-Damiani:FMCO-2011,
volume = {7542},
bibsource = {DBLP, http://dblp.uni-trier.de},
series = {Lecture Notes in Computer Science},
booktitle = {FMCO},
editor = {Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and
Marcello M. Bonsangue},
title = {Formal Methods for Components and Objects, 10th International
Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised
Selected Papers},
isbn = {978-3-642-35886-9, 978-3-642-35887-6},
publisher = {Springer},
ee = {http://dx.doi.org/10.1007/978-3-642-35887-6},
year = {2013},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)