A tool for practical reasoning about state machine designs.
| Autor: | Cant, A., Eastaughffe, K.A., Ozols, M.A. |
|---|---|
| Zdroj: | Proceedings of 1996 Australian Software Engineering Conference; 1996, p16-26, 11p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Cant, A., Eastaughffe, K.A., Ozols, M.A. |
|---|---|
| Zdroj: | Proceedings of 1996 Australian Software Engineering Conference; 1996, p16-26, 11p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|