José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Sergey Goncharov
Latest
Implementing Hybrid Semantics: From Functional to Imperative
Implementing Hybrid Semantics: From Functional to Imperative (Extended Version)
Lince: Lightweight Prototyping of Hybrid Programs
Cite
×