Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Format:: e-book
Title:: Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Author:: Schreiner, Wolfgang.
Language:: English
Publisher:: Cham Springer International Publishing AG 2023
ISBN:: 3-031-24933-X
3-031-24934-8
Permalink:: http://bibtest.howest.be/catalog/ebk03:26428337000041?locale=en