Stefan Heule, K. Rustan M. Leino, Peter Müller 0001, Alexander J. Summers. Fractional permissions without the fractions. In Stephen N. Freund, editor, Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011. ACM, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.