DaftarIsitemplate

Call Number

Title

Software Engineering: Counterexample-Guided Abstraction Refinement for Symbolic Model Checking

Author

Publisher

New York: The Assoction for Computing Machinery

Subject

Location