Step-Wise Development of Provably Correct Actor Systems

Bernhard Aichernig^*, Benedikt Maderbacher

^*Korrespondierende/r Autor/-in für diese Arbeit

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

1 Ergebnisse
- Titel
- Startdatum(aufsteigend)

Step-wise Development of Provably Correct Actor Systems
Bernhard Aichernig (Redner/in)
25 Okt. 2021
Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science