Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241) Formal engineering methods Formal Engineering Methods, 1998. Proceedings. Second International Conference on. :2-13 1998
Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference Software engineering and computer science Software Engineering Conference, 1997. Asia Pacific ... and International Computer Science Conference 1997. APSEC '97 and ICSC '97. Proceedings. :203-212 1997
Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems Object-oriented real-time dependable systems Object-Oriented Real-Time Dependable Systems, 1999. WORDS 1999 Fall. Proceedings. Fifth International Workshop on. :149-151 1999
25th International Conference on Software Engineering, 2003. Proceedings. Software engineering Software Engineering, 2003. Proceedings. 25th International Conference on. :783-784 2003