DMCA

A logic for analyzing abstractions of graph transformation systems (2003)

by Paolo Baldan
Venue:In Proc. of SAS ’03 (International Static Analysis Symposium
Citations:23 - 12 self