Specifying and Checking Method Call Sequences in JML
収録刊行物
-
- Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP '05)
-
Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP '05) 2005