Torben Ægidius Mogensen

Torben Ægidius Mogensen

Associate Professor

Member of:


    1. 2012
    2. Published

      Partial evaluation of Janus part 2: assertions and procedures

      Mogensen, Torben Ægidius, 2012, Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Clarke, E., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 289-301 13 p. (Lecture notes in computer science, Vol. 7162).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    ID: 3086