Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering
| Format: | Electronisk eBog |
|---|---|
| Sprog: | engelsk |
| Udgivet: |
Association for Computing Machinery (ACM),
6/3/14
|
| Fag: | |
| Online adgang: | Full text available on Research4Life (ACM) |
Lignende værker
Proceedings of the Third FME Workshop on Formal Methods in Software Engineering
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering
Proceedings of the 5th International FME Workshop on Formal Methods in Software Engineering
Proceedings of the second workshop on Formal methods in software practice
Proceedings of the third workshop on Formal methods in software practice
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering
Conference proceedings on Formal methods in software development
Proceedings of the 6th Conference on Formal Methods in Software Engineering
Proceedings of the 8th International Conference on Formal Methods in Software Engineering
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
Proceedings of the 2005 ACM workshop on Formal methods in security engineering
Proceedings of the 2007 ACM workshop on Formal methods in security engineering
Proceedings of the second workshop on Automated formal methods
Proceedings of the First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches
Formal Methods in System Design
Proceedings of the 6th ACM workshop on Formal methods in security engineering
Proceedings of the fourth ACM workshop on Formal methods in security
FME Transactions | University of Belgrade - Faculty of Mechanical Engineering, Belgrade
Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design
Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering
Proceedings of the 2nd International Workshop on Robotics Software Engineering
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems
Proceedings of the 2nd International Workshop on Web 2.0 for Software Engineering
Proceedings of the 2nd International Workshop on Software Engineering Education for Millennials
Proceedings of the 2nd International Workshop on Emotion Awareness in Software Engineering
Proceedings of the 2nd International Workshop on Recommendation Systems for Software Engineering
Proceedings of the 2nd International Workshop on Gender Equality in Software Engineering
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Proceedings of the 2nd International Workshop on Software Engineering for Cloud Computing
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems
Proceedings of the 2nd International Workshop on BIG Data Software Engineering
Proceedings of the 2nd international workshop on The role of abstraction in software engineering
Proceedings of the 2nd International Workshop on Quantum Programming for Software Engineering
Proceedings of the 2nd international workshop on Social software engineering and applications