Hoare Logic and Auxiliary Variables (1998)

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