Search for persons
X
?
1
Theories of Programming and Formal Methods: Essays Dedicate..
Lecture Notes in Computer Science, 14080
?
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing ,
6