Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Saxena, Manasvi"'
Publikováno v:
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I; 2016, p447-453, 7p
Autor:
Daian, Philip, Guth, Dwight, Hathhorn, Chris, Li, Yilong, Pek, Edgar, Saxena, Manasvi, Şerbănuţă, Traian Florin, Roșu, Grigore
Publikováno v:
Runtime Verification (9783319469812); 2016, p46-67, 22p