André Platzer Websites
André Platzer @ Carnegie Mellon University
- functologic.com
André Platzer, Associate Professor @ Carnegie Mellon University. Research, publications, tools, and teaching on logic, computer science, mathematics, hybrid systems, and verification.
Not Applicable
$
8.95
André Platzer @ Carnegie Mellon University
- symbolaris.com
André Platzer, Associate Professor of Computer Science at Carnegie Mellon University. Research, publications, tools, and courses on logic, computer science, and mathematics. Especially, verification of cyber-physical systems.
2,119,874
$
480.00