Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/popl/Halpern84
%A Halpern, Joseph Y.
%B POPL
%D 1984
%E Kennedy, Ken
%E Deusen, Mary S. Van
%E Landweber, Larry
%I ACM Press
%K dblp
%P 262-271
%T A Good Hoare Axiom System for an Algol-like Language.
%U http://dblp.uni-trier.de/db/conf/popl/popl84.html#Halpern84
%@ 0-89791-125-3
@inproceedings{conf/popl/Halpern84,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Halpern, Joseph Y.},
biburl = {https://www.bibsonomy.org/bibtex/274f2a392b46b3d9807795a89e60f2909/dblp},
booktitle = {POPL},
crossref = {conf/popl/1984},
editor = {Kennedy, Ken and Deusen, Mary S. Van and Landweber, Larry},
ee = {https://doi.org/10.1145/800017.800538},
interhash = {ffc2da20bc8181187d45dac9cedca73a},
intrahash = {74f2a392b46b3d9807795a89e60f2909},
isbn = {0-89791-125-3},
keywords = {dblp},
pages = {262-271},
publisher = {ACM Press},
timestamp = {2018-11-07T15:43:43.000+0100},
title = {A Good Hoare Axiom System for an Algol-like Language.},
url = {http://dblp.uni-trier.de/db/conf/popl/popl84.html#Halpern84},
year = 1984
}