Inductive Invariant Checking with Partial Negative Application Conditions

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21145-9_15 ◽

2015 ◽

pp. 237-253 ◽

Cited By ~ 4

Author(s):

Johannes Dyck ◽

Holger Giese

Download Full-text