Items where Author is "Eden, A."

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

Contribution to conference proceedings in the public domain

Nicholson, J., Gasparis, E., Eden, A. and Kazman, R. (2009) Automated verification of design patterns with LePUS3 In: 1st NASA Formal Methods Symposium–NFM 2009, 6–8 April 2009, Moffett Field, CA, USA.

This list was generated on Wed Apr 16 17:20:11 2014 BST.