%0 Conference Paper %1 conf/sefm/JonesY15 %A Jones, Cliff B. %A Yatapanage, Nisansala %B SEFM %D 2015 %E Calinescu, Radu %E Rumpe, Bernhard %I Springer %K dblp %P 3-19 %T Reasoning about Separation Using Abstraction and Reification. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2015.html#JonesY15 %V 9276 %@ 978-3-319-22968-3

@inproceedings{conf/sefm/JonesY15, added-at = {2018-11-02T00:00:00.000+0100}, author = {Jones, Cliff B. and Yatapanage, Nisansala}, biburl = {https://www.bibsonomy.org/bibtex/265323b6620b32694d216f39e488c2095/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2015}, editor = {Calinescu, Radu and Rumpe, Bernhard}, ee = {https://doi.org/10.1007/978-3-319-22969-0_1}, interhash = {f5b51e8210cef4087eda78f7dffe71de}, intrahash = {65323b6620b32694d216f39e488c2095}, isbn = {978-3-319-22968-3}, keywords = {dblp}, pages = {3-19}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:06.000+0200}, title = {Reasoning about Separation Using Abstraction and Reification.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2015.html#JonesY15}, volume = 9276, year = 2015 }