DFA & OPT-metaframe: A toolkit for program analysis and optimization (1996)

by Marion Klein, Jens Knoop, Dirk Koschützski, Bernhard Steffen
Venue:Tools and Algorithms for the Construction and Analysis of Systems, 2nd International Workshop (TACAS ’96