Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development (PMD '01)

Conference Proceedings
Editor(s):Bernhard Beckert, Robert France, Reiner Hähnle, and Bart Jacobs
Publisher:Technical Report DII 07/01, Dipartimento di Ingegneria dell'Informazione, Università degli Studi di Siena
Year:2001

BibTeX

@proceedings{BeckertFranceEA2001,
  editor = {Bernhard Beckert and Robert France and Reiner H\"ahnle and
		  Bart Jacobs},
  title = {IJCAR Workshop on Precise Modelling and
		  Deduction for Object-oriented Software Development ({PMD} '01)},
  venue = {Siena, Italy},
  publisher = {Technical Report DII 07/01, Dipartimento di Ingegneria
		  dell'Informazione, Universit\`a degli Studi di Siena},
  year = {2001}
}