Websites linking back to keymaerax.org

1 websites are linking back to keymaerax.org in their content.

Total results: 1
Domains on this page: 1

Results:

André Platzer @ Carnegie Mellon University

http://portalrankings.com/info/symbolaris.com

André Platzer, Associate Professor of Computer Science at Carnegie Mellon University. Research, publications, tools, and teaching on logic, computer science, and mathematics. Especially, verification of cyber-physical systems.

Updated On (Date): 2017-Apr-14
Expiration time: 2018-Apr-15
Website Registered On (Date): 2008-Apr-15