Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    Original languageEnglish
    Title of host publicationEuropean Symposium on Programming
    Publication statusAccepted/In press - 12 Dec 2014

    Research Groups and Themes

    • Programming Languages

    Cite this