Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker (Q6114445)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker |
scientific article; zbMATH DE number 7710839
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker |
scientific article; zbMATH DE number 7710839 |
Statements
Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker (English)
0 references
11 July 2023
0 references
0 references
0.8970859
0 references
0.8926206
0 references
0.8905345
0 references
0.88807374
0 references
