Numeric and Symbolic Abstractions for Software Model Checking

Project: Research

Search results