Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pavel Shved
On Reasoning About Finite Sets in Software Model Checking
Static Verification Under the Hood: Implementation Details and Improvements of BLAST
