Inproceedings,
Teaching formal methods for program development and verification (Panel Session).
S. Gerhart, E. Hehner, H. Mills, and A. Turner.SIGCSE, page 50. ACM, (1983)
Meta data
- BibTeX key
- conf/sigcse/GerhartHMT83
- entry type
- inproceedings
- booktitle
- SIGCSE
- year
- 1983
- pages
- 50
- publisher
- ACM
- crossref
- conf/sigcse/1983
- ee
- https://doi.org/10.1145/952978.801011
- isbn
- 978-0-89791-091-0
- url
- http://dblp.uni-trier.de/db/conf/sigcse/sigcse1983.html#GerhartHMT83
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sigcse/GerhartHMT83
%A Gerhart, Susan L.
%A Hehner, Eric C. R.
%A Mills, Harlan D.
%A Turner, A. Joe
%B SIGCSE
%D 1983
%E Cottrell, Larry K.
%E Lang, Sheau-Dong
%E Turner, A. Joe
%I ACM
%K dblp
%P 50
%T Teaching formal methods for program development and verification (Panel Session).
%U http://dblp.uni-trier.de/db/conf/sigcse/sigcse1983.html#GerhartHMT83
%@ 978-0-89791-091-0
@inproceedings{conf/sigcse/GerhartHMT83,
added-at = {2021-03-24T00:00:00.000+0100},
author = {Gerhart, Susan L. and Hehner, Eric C. R. and Mills, Harlan D. and Turner, A. Joe},
biburl = {https://www.bibsonomy.org/bibtex/2e33f222311a6f9b7b223f496f7bc4f37/dblp},
booktitle = {SIGCSE},
crossref = {conf/sigcse/1983},
editor = {Cottrell, Larry K. and Lang, Sheau-Dong and Turner, A. Joe},
ee = {https://doi.org/10.1145/952978.801011},
interhash = {4c853e2e5a5d83ce8454337e8385bf69},
intrahash = {e33f222311a6f9b7b223f496f7bc4f37},
isbn = {978-0-89791-091-0},
keywords = {dblp},
pages = 50,
publisher = {ACM},
timestamp = {2024-04-09T17:34:43.000+0200},
title = {Teaching formal methods for program development and verification (Panel Session).},
url = {http://dblp.uni-trier.de/db/conf/sigcse/sigcse1983.html#GerhartHMT83},
year = 1983
}