Hoare Logic and Auxiliary Variables (1998)

by Thomas Kleymann
Venue:Formal Aspects of Computing
Citations:37 - 0 self