| André Platzer @ Carnegie Mellon University | |
| André Platzer @ Carnegie Mellon University. Research, publications, tools, and teaching on logic, computer science, and mathematics. Especially, verification of hybrid systems and programs. | |
| Keywords : André Platzer, Carnegie Mellon University, logic, mathematics, algorithms, computing science, computer science, theorem prover, symbolic math, algebra, computer algebra, numerical, object-oriented programming, software, design, theory, Orbital libr | |
| H1 tags : André Platzer @ Carnegie Mellon University | |
| H2 tags : Overview |
| Last Update : | 31/December/2011 |
| Google PR : | N/A |
| Internal links : | 11 |
| External links : | 72 |
| Archive : | Check how did the site look in the past? |