Hoare Logic and Auxiliary Variables (1998)

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