H. Lachover

STATEMATE: a working environment for the development of complex reactive systems

A. Pnueli, R. Sherman, D. Harel, 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

STATEMATE: a working environment for the development of complex reactive systems

A. Pnueli, R. Sherman, D. Harel, 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.