Search for persons
X
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
8
Formal Modeling and Analysis of Apache Kafka in Alloy 6:
, In:
?
2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) ,
11