tipoP-BeckertDamianiGurov2011 (Conference proceedings)
|
Editor(s) | Bernhard Beckert, Ferruccio Damiani and Dilian Gurov |
Title | « Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers » |
Series | Lecture Notes in Computer Science |
Volume | 7421 |
Year | 2012 |
Publisher | Springer |
ISBN number | 978-3-642-31761-3 |
@proceedings{tipoP-BeckertDamianiGurov2011,
volume = {7421},
bibsource = {DBLP, http://dblp.uni-trier.de},
series = {Lecture Notes in Computer Science},
booktitle = {FoVeOOS},
editor = {Bernhard Beckert and Ferruccio Damiani and Dilian Gurov},
title = {Formal Verification of Object-Oriented Software - International
Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised
Selected Papers},
isbn = {978-3-642-31761-3},
publisher = {Springer},
ee = {http://dx.doi.org/10.1007/978-3-642-31762-0},
year = {2012},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)