MURAL - Maynooth University Research Archive Library



    Items where Author is "Arthan, Rob"


    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.

    Muller, Peter and Shankar, Natarajan and Leavens, Gary T. and Ridge, Tom and Tuerk, Thomas and Klebanov, Vladimir and Ulbrich, Mattias and Weisse, Benjamin and Leino, K. Rustan M. and Chapman, Rod and Monahan, Rosemary and Polikarpova, Nadia and Bronish, Derek and Arthan, Rob and Alkassar, Eyad and Cohen, Ernie and Hillebrand, Mark and Tobies, Stephan and Jacobs, Bart and Piessens, Frank and Smans, Jan (2011) The 1st Verified Software Competition, Extended Experience Report. In: FM 2011: 17th International Symposium on Formal Methods, June 20-24 2011, Limerick. (Unpublished)

    This list was generated on Fri Nov 22 23:29:55 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.