Modularization of Refinement Steps for Agile Formal Methods.

Fabian Benduhn, Thomas Thm, Ina Schaefer, Gunter Saake

Browse the full ICFEM paper archive.