Luke Ong

Luke Ong

Distinguished University Professor, Nanyang Technological University
Dirección de correo verificada de ntu.edu.sg
Citado por 6223
Bayesian Statistical Probabilistic … Semantics of Computation Automated Verification Programming Languages Logic a
Michal Konečný

Michal Konečný

Honorary Senior Research Fellow - U of Birmingham, Visiting Industrial Fellow, Aston …
Dirección de correo verificada de aston.ac.uk
Citado por 336
Interval Computation Semantics of Computation Program Verification Theorem Proving Hybrid
Arthur Oliveira Vale

Arthur Oliveira Vale

Ph.D. Student, Yale University
Dirección de correo verificada de yale.edu
Citado por 26
Programming Languages Verification Semantics of Computation Concurrent Systems