Skip to content
cs-conference-ranking.org

Automatic verification of time behavior of programs.

Giovanni Liva

VenueA*ICSE
Year2018
ProceedingsICSE (Companion Volume)
DBLP recordconf/icse/Liva18 ↗

Browse the full ICSE paper archive.