Search for persons
X
?
Lecture Notes in Computer Science; Verified Software. Theories, Tools and Experiments. ,
3
Leroy and Blazy Were Right: Their Memory Model Soundness Pr..:
, In:
?
Advances in Tourism, Technology and Systems; Smart Innovation, Systems and Technologies ,
4