H ?
«
‹
←
→
›
»
Language peer sets for Bandera:
Designed 2000 ↑
2000s languages ↑
Internet↑
New internationlism↑
Bandera(ID:8199/)
alternate simple view
Designed 2000
Model checking language for Java
References:
Corbett, J. (2000) Corbett, J. C. ; M. B. Dwyer, J. Hatcliff, and Robby. A language framework for expressing checkable properties of dynamic software. In Proceedings of the SPIN Software Model Checking Workshop, volume 1885 of Lecture Notes in Computer Science, Aug. 2000.
Corbett, J. (2000) Corbett, J. C. ; M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pastreanu, Robby, and H. Zheng. Bandera : Extracting finite-state models from Java source code. In Proceedings of the 22nd International Conference on Software Engineering, June 2000.
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|