MURAL - Maynooth University Research Archive Library



    Items where Author is "Schellhorn, Gerhard"


    Up a level
    Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
    Group by: Item Type | Date | No Grouping
    Jump to: Article
    Number of items: 1.

    Article

    Bormer, Thorsten and Brockschmidt, Marc and Distefano, Dino and Ernst, Gidon and Filliâtre, Jean-Christophe and Grigore, Radu and Huisman, Marieke and Klebanov, Vladimir and Marché, Claude and Monahan, Rosemary and Mostowski, Wojciech and Polikarpova, Nadia and Scheben, Christoph and Schellhorn, Gerhard and Tofan, Bogdan and Tschannen, Julian and Ulbrich, Mattias (2012) The COST IC0701 Verification Competition 2011. Lecture Notes in Computer Science, 7421. pp. 3-21. ISSN 0302-9743

    This list was generated on Fri Nov 22 23:34:49 2024 UTC.
    MURAL - Maynooth University Research Archive Library is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.