Generating data flow analysis algorithms from modal specifications (1993)

by B Steffen
Venue:Science of Computer Programming