Behaviour-Driven Formal Model Development.

Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang

Browse the full ICFEM paper archive.