An industrial-strength formal method -- A Modest survey.
Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko
VenueCISoLA
Year2004
ProceedingsISoLA (Preliminary proceedings)
DBLP recordconf/isola/BohnenkampHJKU04 ↗
Browse the full ISoLA paper archive.