Generation of correctness conditions for imperative programs
N. V. Shilov, I. S. Anureev, E. V. BodinVolume:
34
Language:
english
Pages:
15
DOI:
10.1134/s0361768808060029
Date:
November, 2008
File:
PDF, 305 KB
english, 2008