Generating data flow analysis algorithms from modal specifications (1993)

by Bernhard Steffen
Venue:Science of Computer Programming