Skip to content
cs-conference-ranking.org

Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods.

Dines Bjrner, Larry E. Druffel

VenueA*ICSE
Year1990
ProceedingsICSE
DBLP recordconf/icse/BjornerD90 ↗

Browse the full ICSE paper archive.