Hoare logic for NanoJava: Auxiliary variables, side effects and virtual methods revisited (2002)

by David Von Oheimb , Tobias Nipkow
Venue:Formal Methods – Getting IT Right (FME’02). LNCS 2391
Citations:20 - 2 self