Animating Formal Requirements Specifications of Cooperative Information Systems.

Eric Dubois, Philippe Du Bois, Frdric DuBru

Browse the full CoopIS paper archive.