|
|
Vampire 2014 and 2015: Author Index| Author | Papers |
|---|
| B | | Biere, Armin | SAT solving experiments in Vampire | | Blanchette, Jasmin Christian | My Life with an Automatic Theorem Prover | | D | | Dragan, Ioan | SAT solving experiments in Vampire | | E | | Erdweg, Sebastian | Using Vampire in Soundness Proofs of Type Systems | | G | | Grewe, Sylvia | Using Vampire in Soundness Proofs of Type Systems | | K | | Kovács, Laura | SAT solving experiments in Vampire
Reasoning About Loops Using Vampire | | M | | Mezini, Mira | Using Vampire in Soundness Proofs of Type Systems | | R | | Reger, Giles | The Uses of SAT Solvers in Vampire
The Challenges of Evaluating a New Feature in Vampire | | Robillard, Simon | Reasoning About Loops Using Vampire | | S | | Suda, Martin | The Uses of SAT Solvers in Vampire
The Challenges of Evaluating a New Feature in Vampire | | Sutcliffe, Geoff | Things You Can't do With a Vampire | | V | | Voronkov, Andrei | SAT solving experiments in Vampire
The Challenges of Evaluating a New Feature in Vampire |
|
|
|
