Cliff B. Jones, Nisansala Yatapanage
Reasoning about Separation Using Abstraction and Reification
SEFM, 2015.
@inproceedings{SEFM-2015-JonesY, author = "Cliff B. Jones and Nisansala Yatapanage", booktitle = "{Proceedings of the 13th International Conference on Software Engineering and Formal Methods}", doi = "10.1007/978-3-319-22969-0_1", isbn = "978-3-319-22968-3", pages = "3--19", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Reasoning about Separation Using Abstraction and Reification}", volume = 9276, year = 2015, }