Step-Wise Development of Provably Correct Actor Systems

Bernhard Aichernig^*, Benedikt Maderbacher

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

1 results
- Title
- Start date(ascending)

Step-wise Development of Provably Correct Actor Systems
Bernhard Aichernig (Speaker)
25 Oct 2021
Activity: Talk or presentation › Talk at conference or symposium › Science to science