Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
| Format: | Electrònic eBook |
|---|---|
| Idioma: | anglès |
| Publicat: |
Association for Computing Machinery (ACM),
7/13/17
|
| Matèries: | |
| Accés en línia: | Full text available on Research4Life (ACM) |
Ítems similars
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
per: George
per: George
Spin selling.
per: Rackham, Neil
Publicat: (1988)
per: Rackham, Neil
Publicat: (1988)
Spin selling.
per: Rackham, Neil
Publicat: (1988)
per: Rackham, Neil
Publicat: (1988)
Reality Check
per: Linse
per: Linse
Tiger Check
per: Fino
per: 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