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

Tagungsband

Herausgeber:Bernhard Beckert and Robert France and Reiner Hähnle and Bart Jacobs
Verleger:Technical Report DII 07/01, Dipartimento di Ingegneria dell'Informazione, Università degli Studi di Siena
Jahr: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}
}