Search for persons
X
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
1
Data-Driven Learning of Strong Conjunctive Invariants:
, In:
?
Innovative Data Communication Technologies and Application; Lecture Notes on Data Engineering and Communications Technologies ,
2