Skip to content
cs-conference-ranking.org

Test Data as an Aid in Proving Program Correctness.

Matthew M. Geller

VenueA*POPL
Year1976
ProceedingsPOPL
DBLP recordconf/popl/Geller76 ↗

Browse the full POPL paper archive.