Java model checking.

Autor: Park, D.Y.W., Stern, U., Skakkebaek, J.U., Dill, D.L.

Publikováno v: Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering; 2000, p253-256, 4p

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.