Author Search Results

1

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

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

by Schreiner, Wolfgang., Schreiner, Wolfgang.
Imprint 2023

Available in Springer Computer Science eBooks 2023 English/International.

Electronic eBook

2

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

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

by Schreiner, Wolfgang., Schreiner, Wolfgang.
Imprint 2021

Available in Springer Computer Science eBooks 2021 English/International.

Electronic eBook

3

Hagenberg Research

Hagenberg Research

Imprint 2009

Other Authors / Creators: “...Schreiner, Wolfgang....”

Available in Springer Computer Science eBooks 2009 English/International.

Electronic eBook