Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) Software Engineering and Formal Methods, 2006. SEFM 2006. Fourth IEEE International Conference on. :60-69 2006
ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods Formal engineering methods Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on. :177-185 2000
First IEEE International Conference on Formal Engineering Methods Formal engineering methods Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on. :293-302 1997
Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94) Software testing reliability and quality assurance Software Testing, Reliability and Quality Assurance, 1994. Conference Proceedings., First International Conference on. :73-77 1994