Found 1 results
Filters: Author is Moskal, M. [Clear All Filters]
Reachability Analysis for Annotated Code. 6th Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007) collocated with the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FS.
.
2007.