Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement.
Ievgen Ivanov, Mykola S. Nikitchenko
VenueNationalICTERI
Year2018
ProceedingsICTERI (Revised Selected Papers)
DBLP recordconf/icteri/IvanovN18a ↗
Browse the full ICTERI paper archive.