Extended Floyd-Hoare Logic over Relational Nominative Data.
Mykola Nikitchenko, Ievgen Ivanov, Artur Kornilowicz, Andrii Kryvolap
VenueNationalICTERI
Year2017
ProceedingsICTERI (Revised Selected Papers)
DBLP recordconf/icteri/NikitchenkoIKK17 ↗
Browse the full ICTERI paper archive.