Luigia Petre

Books
From Action Systems to Distributed Systems From Action Systems to Distributed Systems
From Action Systems to Distributed Systems
2016
Formal Methods Teaching Formal Methods Teaching
Formal Methods Teaching
2019