Proof-producing program analysis (0)

by A CHAIEB
Venue:In International Colloquium on Theoretical Aspects of Computing