Java model checking.
| Autor: | Park, D.Y.W., Stern, U., Skakkebaek, J.U., Dill, D.L. |
|---|---|
| Zdroj: | Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering; 2000, p253-256, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Park, D.Y.W., Stern, U., Skakkebaek, J.U., Dill, D.L. |
|---|---|
| Zdroj: | Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering; 2000, p253-256, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|