IEEE Transactions on Software Engineering, 16(04) April 1990 (1990) |
- Harel, D. (1990) 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
|
|