From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Software analysis: a roadmap, и . ICSE '00: Proceedings of the Conference on The Future of Software Engineering - Future of SE Track, стр. 133-145. (2000)Idioms of Logical Modelling.. ICGT, том 4178 из Lecture Notes in Computer Science, стр. 14. Springer, (2006)Panopticon: a parallel video overview system., , , , , и . UIST, стр. 123-130. ACM, (2013)Aspect: Detecting Bugs with Abstract Dependences.. ACM Trans. Softw. Eng. Methodol., 4 (2): 109-145 (1995)Module Dependences in Software Design.. RISSEF, том 2941 из Lecture Notes in Computer Science, стр. 198-203. Springer, (2002)Critical Feature Analysis of a Radiotherapy Machine., , , , и . SAFECOMP, том 2788 из Lecture Notes in Computer Science, стр. 221-234. Springer, (2003)αRby - An Embedding of Alloy in Ruby., , и . ABZ, том 8477 из Lecture Notes in Computer Science, стр. 56-71. Springer, (2014)A Structure for Dependability Arguments., и . ASM, том 5977 из Lecture Notes in Computer Science, стр. 1. Springer, (2010)Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector., и . ISSTA, стр. 239-249. ACM, (1996)Automating first-order relational logic.. SIGSOFT FSE, стр. 130-139. ACM, (2000)