Inproceedings,
Fractional permissions without the fractions.
S. Heule, K. Leino, P. Müller, and A. Summers.FTfJP@ECOOP, page 1:1-1:6. ACM, (2011)
Meta data
- BibTeX key
- conf/ecoop/HeuleL0S11
- entry type
- inproceedings
- booktitle
- FTfJP@ECOOP
- year
- 2011
- pages
- 1:1-1:6
- publisher
- ACM
- crossref
- conf/ecoop/2011ftfjp
- ee
- https://doi.org/10.1145/2076674.2076675
- isbn
- 978-1-4503-0893-9
- url
- http://dblp.uni-trier.de/db/conf/ecoop/ftfjp2011.html#HeuleL0S11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ecoop/HeuleL0S11
%A Heule, Stefan
%A Leino, K. Rustan M.
%A Müller, Peter
%A Summers, Alexander J.
%B FTfJP@ECOOP
%D 2011
%E Freund, Stephen N.
%I ACM
%K dblp
%P 1:1-1:6
%T Fractional permissions without the fractions.
%U http://dblp.uni-trier.de/db/conf/ecoop/ftfjp2011.html#HeuleL0S11
%@ 978-1-4503-0893-9
@inproceedings{conf/ecoop/HeuleL0S11,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Heule, Stefan and Leino, K. Rustan M. and Müller, Peter and Summers, Alexander J.},
biburl = {https://www.bibsonomy.org/bibtex/2a387cf7db5736ecde18f5f28481538a5/dblp},
booktitle = {FTfJP@ECOOP},
crossref = {conf/ecoop/2011ftfjp},
editor = {Freund, Stephen N.},
ee = {https://doi.org/10.1145/2076674.2076675},
interhash = {0b1e56bb965e8d85521979a59396ccc6},
intrahash = {a387cf7db5736ecde18f5f28481538a5},
isbn = {978-1-4503-0893-9},
keywords = {dblp},
pages = {1:1-1:6},
publisher = {ACM},
timestamp = {2018-11-07T12:42:04.000+0100},
title = {Fractional permissions without the fractions.},
url = {http://dblp.uni-trier.de/db/conf/ecoop/ftfjp2011.html#HeuleL0S11},
year = 2011
}