Proceedings. First Euromicro Conference on Software Maintenance and Reengineering
Like what you’re reading?
Already a member?
Related Articles
- Disappearing Formal Methods
Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) - Are Formal Methods Relevant?
Proceedings 1995 Asia Pacific Software Engineering Conference - Practically Formal Methods
Proceedings 1996 International Conference Software Engineering: Education and Practice - Formal Methods Pilot Project
Proceedings 1996 Asia-Pacific Software Engineering Conference - Formal Methods Light
Computer - Formal Methods: Point-Counterpoint
Computer - Toward Formal-Methods Oecumenism?
IEEE Distributed Systems Online - Cyber security via formal methods: A framework for implementing formal methods
2017 International Conference on Cyber Conflict (CyCon U.S.) - Formal Methods at Scale
IEEE Security & Privacy - One-Click Formal Methods
IEEE Software