Extending Floyd-Hoare Logic for Partial Pre- and Postconditions.
Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner
VenueNationalICTERI
Year2013
ProceedingsICTERI (Revised Selected Papers)
DBLP recordconf/icteri/KryvolapNS13a ↗
Browse the full ICTERI paper archive.