SE & SDA Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


Sidebar

 /*    *[[newsandtodos|News & TODOs]] */
 /*    *[[faq]] */
 /*    *[[glossary]] */
 /*    *[[classesandinterfaces|Classes & Interfaces]] */
 /*    *[[astelements|AST Elements]]  */
 /*    *[[feature implementation]] */
 /*    *[[diagrams]] */
 /*    *[[papers]]  */
 /*    *[[http://roots.iai.uni-bonn.de/research/logicaj/javadoc|JavaDoc]] */
 /*    *[[limitations]]  */
    * <label internal>[[.:internal:start|INTERNAL]]</label>

Contact

If you have a question about LogicAJ feel free to contact us:

research/logicaj/contact.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2018