From Hoare Logic to Matching Logic Reachability.

Book

Bibliographic Details
Title:	From Hoare Logic to Matching Logic Reachability.
Authors:	Roșu, Grigore, Ştefănescu, Andrei
Source:	FM 2012: Formal Methods; 2012, p387-402, 16p
DOI:	10.1007/978-3-642-32759-9_32
Database:	Complementary Index

Availability

Check for other full text
Open access version