Home
People
Departments
Research
About
Login

Search

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Journal

Overview

Overview

publication venue for

Formal derivation of functional architectural design 2004
Verification of the WAP transaction layer 2004

McMaster Experts is powered by VIVO

About
Capability Map
Contact Us
Index
Login
Terms of Use