related documents
- Formal derivation of functional architectural design Conferences
- Verification of the WAP transaction layer Conferences
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.
Conference
- Scholarly Activity