Read news on formal modeling with our app.
Read more in the app
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems