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