Personensuche
X
?
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
1
Formal Methods in Requirements Engineering: Survey and Futu..:
, In:
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
2