Searching for "Bandera extracting finite-state models from Java source code." – sorted by Relevance.
-
Bandera: Extracting Finite-state Models from Java Source Code
- Bandera : Extracting Finite-state Models from Java Source Code James C. Corbett University
- Cited by 446 (33 self) – Add To MetaCart
-
Bandera : Extracting Finite-state Models from Java Source Code
- Bandera : Extracting Finite-state Models from Java Source Code James C. Corbett University
- Add To MetaCart
-
A Formal Approach to Practical Software Verification
- . Bandera: Extracting finite-state models from java source code. Proceedings of the 22nd International
- Add To MetaCart

