-
1SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings / SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings /by Havelund, Klaus. editor., Penix, John. editor., Visser, Willem. editor., SpringerLink (Online service)
Published 2000Texto bibliotecaCOLPOS -
2SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings / SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings /by Havelund, Klaus. editor., Penix, John. editor., Visser, Willem. editor., SpringerLink (Online service)
Published 2000Texto bibliotecaCOLPOS -
3
-
4by Raise Language Group 33420, George, Chris 33421, Haff, Peter 33422, Havelund, Klaus 33423, Haxthausen, Anne E. 33424, Milne, Robert 33425, Nielsen, Claus Bendix 33426, Prehn, Soren 33427, Wagner, Kim Ritter 33428
Published 1992Texto bibliotecaUNCO AR