No photo of Jesper Bengtson
20092023

Research activity per year

Filter
Journal article

Search results

  • 2016

    Psi-calculi in Isabelle

    Bengtson, J., Parrow, J. & Weber, T., 13 Jan 2016, In: Journal of Automated Reasoning. 56, 1, p. 1-47 1 p., 1.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

    Open Access
    File