Grigore Rosu, Andrei Stefanescu
From Hoare Logic to Matching Logic Reachability
FM, 2012.
@inproceedings{FM-2012-RosuS,
author = "Grigore Rosu and Andrei Stefanescu",
booktitle = "{Proceedings of the 18th International Symposium of Formal Methods}",
doi = "10.1007/978-3-642-32759-9_32",
isbn = "978-3-642-32758-2",
pages = "387--402",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{From Hoare Logic to Matching Logic Reachability}",
volume = 7436,
year = 2012,
}