Executable Specifications for Distributed Information Systems.

Kees M. van Hee, Lou J. Somers, Marc Voorhoeve

Browse the full ISCO paper archive.