Program Specification 1981:
Aarhus,
Denmark
Jørgen Staunstrup (Ed.):
Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981.
Lecture Notes in Computer Science 134 Springer 1982, ISBN 3-540-11490-4 BibTeX
@proceedings{DBLP:conf/fm/1981,
editor = {J{\o}rgen Staunstrup},
title = {Program Specification, Proceedings of a Workshop, Aarhus, Denmark,
August 1981},
booktitle = {Program Specification},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {134},
year = {1982},
isbn = {3-540-11490-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Introduction
Geometrical Constructions
KWIC-index generation
- Jørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen:
KWIC-index generation.
47-117 BibTeX
Communication Network
Submitted papers
Copyright © Sat May 16 23:12:14 2009
by Michael Ley (ley@uni-trier.de)
