-
Notifications
You must be signed in to change notification settings - Fork 8
Publication
Attila Sukosd edited this page Mar 15, 2013
·
3 revisions
WikiInclude(PublicationExplanation)
Mobius encourages tool-related publications, particularly case studies focusing on the use of Mobius components for Mobius component development.
-
Tool-centric Papers, Arranged in Reverse Chronological Order
-
Kiniry, J., Morkan, A., Denby, B., "Soundness and Completeness Warnings in ESC/Java2", accepted to [SAVCBS 06]
-
Kiniry, J., Morkan, A., Cochran, D., Fairmichael, F., Chalin, P., Oostdijk, M., Hubbers, E., "The KOA Remote Voting System: A Summary of Work To-Date", accepted to [TGC 06]
-
Kiniry, J., Morkan, A., Cochran, D., "Formal Methods in Remote Voting", poster accepted to [FSE 06]
-
Tools-friendly Publication Forums
-
ETAPS
Version: 3 Time: Thu Sep 13 23:56:59 2007 Author: dcochran (dcochran) IP: 193.120.116.178