Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
| Formatua: | Baliabide elektronikoa eBook |
|---|---|
| Hizkuntza: | ingelesa |
| Argitaratua: |
Association for Computing Machinery (ACM),
7/13/17
|
| Gaiak: | |
| Sarrera elektronikoa: | Full text available on Research4Life (ACM) |
Antzeko izenburuak
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
nork: George
nork: George
Spin selling.
nork: Rackham, Neil
Argitaratua: (1988)
nork: Rackham, Neil
Argitaratua: (1988)
Spin selling.
nork: Rackham, Neil
Argitaratua: (1988)
nork: Rackham, Neil
Argitaratua: (1988)
Reality Check
nork: Linse
nork: Linse
Tiger Check
nork: Fino
nork: 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