Skip to content
cs-conference-ranking.org

Terms, Proofs, and Refinement (Extended abstract)

Rod M. Burstall

VenueA*LICS
Year1994
ProceedingsLICS
DBLP recordconf/lics/Burstall94 ↗

Browse the full LICS paper archive.