José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
VALU3S
Implementing Hybrid Semantics: From Functional to Imperative (Extended Version)
CoRR 2020
«
Cite
×