Login / Signup
Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited.
David von Oheimb
Tobias Nipkow
Published in:
FME (2002)
Keyphrases
</>
auxiliary variables
higher order
image restoration