Collaborated with:
Sergey Goncharov 0001
Talks about:
languag (1) hybrid (1) comput (1) while (1) adequ (1)
Person: Renato Neves
DBLP: Neves:Renato
Contributed to:
Wrote 1 papers:
- PPDP-2019-0001N #hybrid
- An Adequate While-Language for Hybrid Computation (SG0, RN), p. 15.