@inproceedings{DBLP:conf/programm/HamiltonZ74,
author = {Margaret Hamilton and
Saydean Zeldin},
title = {Higher order software techniques applied to a space shuttle
prototype program},
booktitle = {Symposium on Programming},
year = {1974},
pages = {17-32},
ee = {http://dx.doi.org/10.1007/3-540-06859-7_121},
crossref = {DBLP:conf/programm/1974},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/programm/1974,
editor = {Bernard Robinet},
title = {Programming Symposium, Proceedings Colloque sur la Programmation,
Paris, France, April 9-11, 1974},
booktitle = {Symposium on Programming},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {19},
year = {1974},
isbn = {3-540-06859-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
