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.

 

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

WebGUIDE: Querying and Navigating Changes in Web Repositories., , , и . Comput. Networks, 28 (7-11): 1335-1344 (1996)VeriCon: Towards Verifying Controller Programs in Software-defined Networks, , , , , , , и . SIGPLAN Not., 49 (6): 282--293 (июня 2014)Teach foundational language principles., и . Commun. ACM, 58 (5): 30-31 (2015)Tracking and Viewing Changes on the Web., и . USENIX Annual Technical Conference, стр. 165-176. USENIX Association, (1996)Bebop: a path-sensitive interprocedural dataflow engine., и . PASTE, стр. 97-103. ACM, (2001)State Generation and Automated Class Testing., , , , и . Softw. Test. Verification Reliab., 10 (3): 149-170 (2000)Rewriting Executable Files to Measure Program Behavior., и . Softw. Pract. Exp., 24 (2): 197-218 (1994)Boolean and Cartesian abstraction for model checking C programs., , и . Int. J. Softw. Tools Technol. Transf., 5 (1): 49-58 (2003)Paths between Imperative and Functional Programming.. ACM SIGPLAN Notices, 34 (2): 21-25 (1999)SIGPLANet - A Modest Proposal for SIGPLAN in the 21st Century., и . ACM SIGPLAN Notices, 36 (4): 1-2 (2001)