On Fitting a Formal Method into Practice.

Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lsch, Daniel Plagge

Browse the full ICFEM paper archive.