Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations (Q112576341)
Jump to navigation
Jump to search
2015 doctoral thesis by Walter Guttmann at University of Canterbury
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations |
2015 doctoral thesis by Walter Guttmann at University of Canterbury |
Statements
Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations (English)
0 references
2015
0 references