Search for persons
X
?
Lecture Notes in Computer Science; NASA Formal Methods ,
2
Formalising Liveness Properties in Event-B with the Reflexi..:
, In:
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
4
Standalone Event-B Models Analysis Relying on the EB4EB Met..:
, In:
?
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) ,
9