DaftarIsitemplate

Call Number

Title

Static Checking of System Behaviors Using Derived Component Assumptions, page 239-272

Author

Publisher

New York: The Association for Computing Machinery

Subject

Location