@inproceedings{DBLP:conf/gi/BergstraT81,
author = {Jan A. Bergstra and
J. Terlouw},
title = {A Characterization of Program Equivalence in Terms of Hoare's
Logic},
booktitle = {GI Jahrestagung},
year = {1981},
pages = {72-77},
crossref = {DBLP:conf/gi/1981},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/gi/1981,
editor = {Wilfried Brauer},
title = {GI - 11. Jahrestagung in Verbindung mit Third Conference
of the European Co-operation in Informatics (ECI), M{\"u}nchen,
20.-23. Oktober 1981, Proceedings},
booktitle = {GI Jahrestagung},
publisher = {Springer},
series = {Informatik-Fachberichte},
volume = {50},
year = {1981},
isbn = {3-540-10884-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
