Items where Author is "Alkassar, Eyad"


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 Tue Sep 19 19:16:58 2017 IST.