@misc {IOPORT.70926526,
    author       = {Rosu, Grigore and Stefanescu, Andrei},
    title        = {Matching logic: a new program verification approach (NIER track)},
    howpublished = {ICSE, 868-871 (2011).},
    year         = {2011},
    doi          = {10.1145/1985793.1985928},
    identifier   = {70926526},
}