Conference announcements · Call for Participation - 4th International Workshop on Systems Software Verification (SSV'2009) · Call for Papers - 4th International ...
Missing: Proceedings | Show results with:Proceedings
Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009. Electronic Notes in Theoretical ...
Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009. Electronic Notes in Theoretical ...
The aim of this workshop is to bring together researchers and developers from both academia and industry, who are facing real software and real problems to find ...
This volume contains the proceedings of the 4th International Workshop on. Systems Software Verification (SSV) held in Aachen, Germany, June 22–24,. 2009.
SSV 2009 : 4th International Workshop on Systems Software Verification ; When, Jun 22, 2009 - Jun 24, 2009 ; Where, Aachen, Germany ; Submission Deadline, Feb 15, ...
Missing: Proceedings June
This volume contains the proceedings of the Doctoral Symposium on Systems Software. Verification (DS SSV'09), which was held during the 4th ...
June 22-24. 4th International Workshop on Systems Software Verification (SSV'2009), Aachen, Germany. Theme: "Real Software, Real Problems, Real Solutions".
Proceedings of 4th International Workshop on Modeling in Software Engineering (MiSE). Zurich, Switzerland, Jun. 2012. [MN12]. C. Mengi, M. Nagl: Refactoring ...
A list of conferences in formal methods, specification, verification and software engineering.