Steffen, Bernhard
-
Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 - Articles
SOS-Supported Graph Transformation
Abstract PDF -
Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 - Articles
Lazy Merging: From a Potential of Universes to a Universe of Potentials
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.