%0 Conference Paper %1 journals/entcs/Stefanescu14 %A Stefanescu, Andrei %B K %D 2011 %E Hills, Mark %I Elsevier %K dblp %P 183-198 %T MatchC: A Matching Logic Reachability Verifier Using the K Framework. %U http://dblp.uni-trier.de/db/journals/entcs/entcs304.html#Stefanescu14 %V 304

@inproceedings{journals/entcs/Stefanescu14, added-at = {2022-11-22T00:00:00.000+0100}, author = {Stefanescu, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/2dd95013aab000f3391a56ef7defb89f2/dblp}, booktitle = {K}, crossref = {conf/kframework/2011}, editor = {Hills, Mark}, ee = {https://www.wikidata.org/entity/Q113317876}, interhash = {c944a19aad34034e8474b3dc56f58a6c}, intrahash = {dd95013aab000f3391a56ef7defb89f2}, keywords = {dblp}, pages = {183-198}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T10:45:52.000+0200}, title = {MatchC: A Matching Logic Reachability Verifier Using the K Framework.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs304.html#Stefanescu14}, volume = 304, year = 2011 }