Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Pothengil, Rakesh"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Balakrishnan, Gogul, Maeda, Naoto, Sankaranarayanan, Sriram, Ivančić, Franjo, Gupta, Aarti, Pothengil, Rakesh
Publikováno v:
Formal Verification of Object-Oriented Software (9783642317613); 2012, p67-85, 19p
