STATEMATE; A Working Environment for the Development of Complex Reactive Systems.

David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring

Browse the full ICSE paper archive.