| | |
@proceedings{DBLP:conf/nato/1996,
editor = {Manfred Broy},
title = {Proceedings of the NATO Advanced Study Institute on Deductive
Program Design, Marktoberdorf, Germany},
booktitle = {NATO ASI DPD},
year = {1996},
isbn = {3-540-60947-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2004-03-25 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page