Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
| Format: | Électronique eBook |
|---|---|
| Langue: | anglais |
| Publié: |
Association for Computing Machinery (ACM),
7/13/17
|
| Sujets: | |
| Accès en ligne: | Full text available on Research4Life (ACM) |
Documents similaires
Proceedings of the 2014 International SPIN Symposium on Model Checking of Software
Proceedings of the 8th international SPIN workshop on Model checking of software
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering
Hate Spin
par: George
par: George
Spin selling.
par: Rackham, Neil
Publié: (1988)
par: Rackham, Neil
Publié: (1988)
Spin selling.
par: Rackham, Neil
Publié: (1988)
par: Rackham, Neil
Publié: (1988)
Reality Check
par: Linse
par: Linse
Tiger Check
par: Fino
par: Fino
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis
Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Proceedings of the 24th ACM Symposium on Access Control Models and Technologies
Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Proceedings of the 24th ACM Symposium on Virtual Reality Software and Technology
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering