SYMBOLARIS.COM - Site Information
 |
|
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.
Symbolaris.com
|
To improve performance of SITEINFO service and to prevent its excessive high-volume use by a single source, we implemented a randomly generated Access Code that must be entered before running a SITEINFO request.
|