Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Software engineering and formal methods Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on. :188-197 2004
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587) Human centric computing languages and environments Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on. :122-123 2001
Proceedings of the 38th Annual Hawaii International Conference on System Sciences System Sciences, 2005. HICSS '05. Proceedings of the 38th Annual Hawaii International Conference on. :282c-282c 2005