Programming Languages and Systems
Springer International Publishing
Chapter title |
REFINITY to Model and Prove Program Transformation Rules
|
---|---|
Book title |
Programming Languages and Systems
|
Published by |
Springer, Cham, November 2020
|
DOI | 10.1007/978-3-030-64437-6_16 |
Book ISBNs |
978-3-03-064436-9, 978-3-03-064437-6
|
Authors |
Dominic Steinhöfel, Steinhöfel, Dominic |
Country | Count | As % |
---|---|---|
Germany | 1 | 100% |
Type | Count | As % |
---|---|---|
Scientists | 1 | 100% |