@Proceedings{foveoos2011, editor = {Bernhard Beckert and Ferruccio Damiani and Dilian Gurov}, title = {International Conference on Formal Verification of Object-Oriented Software ({FoVeOOS} 2011), Revised Selected Papers}, venue = {Turin, Italy}, eventdate = {2011-10-05/2011-10-07}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {7421}, year = {2012}, month = oct }
International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2011), Revised Selected Papers
Editor(s): | Bernhard Beckert, Ferruccio Damiani, and Dilian Gurov |
---|---|
Publisher: | Springer |
Series: | Lecture Notes in Computer Science |
Volume: | 7421 |
Year: | 2012 |