Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/sigplan/TripathiYGB81
%A Tripathi, Anand R.
%A Young, William D.
%A Good, Donald I.
%A Browne, James C.
%D 1981
%J ACM SIGPLAN Notices
%K dblp
%N 3
%P 102-112
%T HAL/S/V: a verifiable subset for HAL/S.
%U http://dblp.uni-trier.de/db/journals/sigplan/sigplan16.html#TripathiYGB81
%V 16
@article{journals/sigplan/TripathiYGB81,
added-at = {2021-08-03T00:00:00.000+0200},
author = {Tripathi, Anand R. and Young, William D. and Good, Donald I. and Browne, James C.},
biburl = {https://www.bibsonomy.org/bibtex/2c1021e490a71947a02384c161ef8238c/dblp},
ee = {https://doi.org/10.1145/947825.947833},
interhash = {0667a6e5d8dce816593c738134f147e7},
intrahash = {c1021e490a71947a02384c161ef8238c},
journal = {ACM SIGPLAN Notices},
keywords = {dblp},
number = 3,
pages = {102-112},
timestamp = {2024-04-08T11:10:49.000+0200},
title = {HAL/S/V: a verifiable subset for HAL/S.},
url = {http://dblp.uni-trier.de/db/journals/sigplan/sigplan16.html#TripathiYGB81},
volume = 16,
year = 1981
}