ITU

Springer International Publishing, Switzerland

Publisher

View graph of relations

Research outputs (3)

  1. Published

    Calculating Certified Compilers for Non-deterministic Languages

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  2. Published

    Evolving Robot Controllers for Structured Environments Through Environment Decomposition

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. Published

    Proving Correctness of Compilers Using Structured Graphs

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

ID: 76476118