Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: David
    Last name: Cock
    DBLP: 76/5940
    Rating: (not rated yet)

    Below you find the publications which have been written by this author.

    Show item 1 to 1 of 1  
    Select a publication
    Show Title Venue Rating Date PDF
    Journal article
    Reto Achermann, Lukas Humbel, David Cock, Timothy Roscoe.
    Formalizing Memory Accesses and Interrupts.
    Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. 2017, Volume 244 (0) 2017
    Show item 1 to 1 of 1  

    Your query returned 1 matches in the database.