Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Saloni Sinha
Latest
Formal Modeling and Analysis of Apache Kafka in Alloy 6
Cite
×