Andre Scedrov
Identifiers
- Open LibraryOL9717158A
Top Subjects
- Computer software, testing (1)
- Computer software, verification (1)
Books by Andre Scedrov
Total count: 2
-
Software Security -- Theories and SystemsMext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised PapersSpringer London, Limited2003-01-01
-
Tools and Methods for Program Analysis4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017Springer International Publishing AG2017-01-01