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 | No Grouping
    Number of items: 1.

    Conference or Workshop Item

    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 Wed Dec 11 22:21:31 2019 UTC.