Skip to content
cs-conference-ranking.org

Floyd-Hoare Logic Defines Semantics: Preliminary Version

Albert R. Meyer

VenueA*LICS
Year1986
ProceedingsLICS
DBLP recordconf/lics/Meyer86 ↗

Browse the full LICS paper archive.