@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}
}
IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development (PMD '01)
| 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 |