Browsing by Author

Showing results 1 to 1 of 1
Authors / EditorsTitleTypeIssue Date
Kaufmann, Daniela ; Fleury, Mathias ; Biere, Armin ; Ivrii, Alexander ; Strichman, Ofer The Proof Checkers Pacheck and Pastèque for the Practical Algebraic CalculusInproceedings 2020