Daniel R. Licata

Daniel R. Licata is an author at Carnegie Mellon University specializing in computer science, type systems, and formal methods.

Publications per year

2004–2021

26

Publications

26