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

MLA

Schreiner, Wolfgang. Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the Riscal Model Checker. Cham: Springer International Publishing AG, 2023.

APA

Schreiner, W. (2023). Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker. Cham: Springer International Publishing AG.

Chicago

Schreiner, Wolfgang. Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker. Cham: Springer International Publishing AG, 2023.