Skip to content
cs-conference-ranking.org

Computer-Assisted Assume/Guarantee Reasoning with VeriSoft.

Jrgen Dingel

VenueA*ICSE
Year2003
ProceedingsICSE
DBLP recordconf/icse/Dingel03 ↗

Browse the full ICSE paper archive.