Reasoning about distributed reconfigurable systems

Ahrens, Emma; Bozga, Marius; Iosif, Radu; Katoen, Joost-Pieter

New York, NY, USA : ACM (2022)
Contribution to a conference proceedings, Journal Article (Review Article)

In: Proceedings of the ACM on programming languages
Volume: 6
Issue: OOPSLA2
Page(s)/Article-Nr.: 145-174