Grigore Rosu, Andrei Stefanescu
Matching logic: a new program verification approach
ICSE, 2011.
@inproceedings{ICSE-2011-RosuS, author = "Grigore Rosu and Andrei Stefanescu", booktitle = "{Proceedings of the 33rd International Conference on Software Engineering}", doi = "10.1145/1985793.1985928", editor = "Richard N. Taylor and Harald Gall and Nenad Medvidović", isbn = "978-1-4503-0445-0", pages = "868--871", publisher = "{ACM}", title = "{Matching logic: a new program verification approach}", year = 2011, }