Search for persons
X
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
5
Automated Property Directed Self Composition:
, In:
?
5th Joint International Conference on Data Science & Management of Data (9th ACM IKDD CODS and 27th COMAD) ,
11