Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

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)},
  place = {Siena, Italy},
  publisher = {Technical Report DII 07/01, Dipartimento di Ingegneria
		  dell'Informazione, Universit\`a degli Studi di Siena},
  year = {2001}
}