1
Concrete Abstractions [E-Book] : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker /
Other Personal Name(s): “...Schreiner, Wolfgang...”

Full text 
Favorites
Saved in:
2
Thinking Programs [E-Book] : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions /
Other Personal Name(s): “...Schreiner, Wolfgang...”

Full text 
Favorites
Saved in:
3
Hagenberg Research [E-Book] /
Other Personal Name(s): “...Schreiner, Wolfgang...”

Full text 
Favorites
Saved in: