Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/popl/CookO75
%A Cook, Stephen A.
%A Oppen, Derek C.
%B POPL
%D 1975
%E Graham, Robert M.
%E Harrison, Michael A.
%E Reynolds, John C.
%I ACM Press
%K dblp
%P 160-166
%T An Assertion Language for Data Structures.
%U http://dblp.uni-trier.de/db/conf/popl/popl75.html#CookO75
@inproceedings{conf/popl/CookO75,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Cook, Stephen A. and Oppen, Derek C.},
biburl = {https://www.bibsonomy.org/bibtex/284e5c6d248ff1c48e9b795a28028228e/dblp},
booktitle = {POPL},
crossref = {conf/popl/1975},
editor = {Graham, Robert M. and Harrison, Michael A. and Reynolds, John C.},
ee = {https://doi.org/10.1145/512976.512993},
interhash = {19b864491c9ef25fcde0d46f3b8ea293},
intrahash = {84e5c6d248ff1c48e9b795a28028228e},
keywords = {dblp},
pages = {160-166},
publisher = {ACM Press},
timestamp = {2018-11-07T15:44:25.000+0100},
title = {An Assertion Language for Data Structures.},
url = {http://dblp.uni-trier.de/db/conf/popl/popl75.html#CookO75},
year = 1975
}