Harel, D. H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. ShtullTrauring, and M. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems (1990) |
(1990) IEEE Transactions on Software Engineering, 16(04) April 1990
|
|