Abstract Semantic Diffing of Evolving Concurrent Programs (Q5233236)
From MaRDI portal
scientific article; zbMATH DE number 7105459
Language | Label | Description | Also known as |
---|---|---|---|
English | Abstract Semantic Diffing of Evolving Concurrent Programs |
scientific article; zbMATH DE number 7105459 |
Statements
Abstract Semantic Diffing of Evolving Concurrent Programs (English)
0 references
16 September 2019
0 references