Skip to content
cs-conference-ranking.org

Prospects for Program Verification (Tutorial).

James C. King

VenueA*ICSE
Year1978
ProceedingsICSE
DBLP recordconf/icse/King78 ↗

Browse the full ICSE paper archive.