Books by Wolfgang Schreiner
Wolfgang Schreiner
Filter
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Wolfgang Schreiner
Paperback
Published:
2024