Authors: Flanagan, C Saxe, JB

Citation: C. Flanagan et Jb. Saxe, Avoiding exponential explosion: Generating compact verification conditions, ACM SIGPL N, 36(3), 2001, pp. 193-205