Browsing Computer Science by Author "Cameron-Burke, T"

Now showing items 1-1 of 1

    Issue DateTitleAuthor(s)
    2024Formally verified interval arithmetic and its application to program verification  Brucker, AD; Cameron-Burke, T; Stell, A