Generating Data-Flow Analysis Algorithms for Modal Specifications (1993)

by B Steffen
Venue:Science of Computer Programming