Hoare logic and auxiliary variables (1999)

by T Kleymann
Venue:Formal Asp. Comput