5 views
Microsoft Research
Data Abstraction without Control Abstraction in Software Model Checking
Login with Google Login with Discord