Data Abstraction without Control Abstraction in Software Model Checking

5 views

Microsoft Research

1 month ago

Data Abstraction without Control Abstraction in Software Model Checking

Data Abstraction without Control Abstraction in Software Model Checking