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.

 

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

The KOA Remote Voting System: A Summary of Work to Date., , , , , , и . TGC, том 4661 из Lecture Notes in Computer Science, стр. 244-262. Springer, (2006)Agile Formality: A Mole of Software Engineering Practices., , и . FM+AM, том P-179 из LNI, стр. 29-48. GI, (2010)Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2., , , и . FMCO, том 4111 из Lecture Notes in Computer Science, стр. 342-363. Springer, (2005)Secret Ninja Formal Methods., и . FM, том 5014 из Lecture Notes in Computer Science, стр. 214-228. Springer, (2008)CLOPS: A DSL for Command Line Options., , , , , , и . DSL, том 5658 из Lecture Notes in Computer Science, стр. 187-210. Springer, (2009)A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java., , и . CAV, том 4590 из Lecture Notes in Computer Science, стр. 37. Springer, (2007)Soundness and completeness warnings in ESC/Java2., , и . SAVCBS@FSE, стр. 19-24. ACM, (2006)Verification-Centric Realization of Electronic Vote Counting., , и . EVT, USENIX Association, (2007)Formal Model-Based Validation for Tally Systems., и . VoteID, том 7985 из Lecture Notes in Computer Science, стр. 41-60. Springer, (2013)Toward instant gradeification., , и . CSEE&T, стр. 406-410. IEEE Computer Society, (2011)