FA Sign in

Discover references

Wolfgang Schreiner

Books

2 results

Cover of Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

English Beginner

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner

2021 View book

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

English Beginner

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

Wolfgang Schreiner

2023 View book