Alan E. Morkan

Publication Activity (10 Years)

Years Active: 2006-2006
Publications (10 Years): 0

Publications

Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk, Engelbert Hubbers
Formal techniques in a remote voting system. ACM SIGSOFT Softw. Eng. Notes 31 (6) (2006)
Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers
The KOA Remote Voting System: A Summary of Work to Date. TGC (2006)
Joseph R. Kiniry, Alan E. Morkan, Barry Denby
Soundness and completeness warnings in ESC/Java2. SAVCBS@FSE (2006)