LATIN
Logic Atlas & Integrator
Developing methods and tools for interfacing logics and proof systems used in automated reasoning, mathematics, and software engineering.
Duration: | Nov 1, 2009 - Dec 31, 2012 |
Partners: | Jacobs-Universität Bremen |
Homepage: | http://latin.omdoc.org/ |
Research area: | Software Systems |
Funding: |
![]() |