Search for persons
X
?
Functional and Logic Programming; Lecture Notes in Computer Science ,
4
Unified Program Generation and Verification: A Case Study o..:
, In:
?
Advances in Information and Computer Security; Lecture Notes in Computer Science ,
5