Modular Formal Specification of Data and Behaviour.

Jaco van de Pol, Jozef Hooman, Edwin D. de Jong

Browse the full IFM paper archive.