MURAL - Maynooth University Research Archive Library



    Items where Author is "Distefano, Dino"


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

    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 Apr 26 23:27:42 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.