Jack Goldberg. Formal methods in programming and microprogramming overview. In Sakti P. Ghosh, editor, American Federation of Information Processing Societies: 1978 National Computer Conference, June 5-8, 1978, Anaheim, CA, USA. Volume 47 of AFIPS Conference Proceedings, pages 641-642, AFIPS Press, 1978.
@inproceedings{Goldberg78-0,
title = {Formal methods in programming and microprogramming overview},
author = {Jack Goldberg},
year = {1978},
researchr = {https://researchr.org/publication/Goldberg78-0},
cites = {0},
citedby = {0},
pages = {641-642},
booktitle = {American Federation of Information Processing Societies: 1978 National Computer Conference, June 5-8, 1978, Anaheim, CA, USA},
editor = {Sakti P. Ghosh},
volume = {47},
series = {AFIPS Conference Proceedings},
publisher = {AFIPS Press},
}