From MooZ to Eiffel - A Rigorous Approach to System Development.

Virgnia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira

Browse the full FM paper archive.