FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011


Butler, Michael and Schulte, Wolfram (2011) FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Springer

Download

Full text not available from this repository.

Item Type: Book
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 272536
Date :
Date Event
2011Published
Date Deposited: 04 Jul 2011 09:10
Last Modified: 17 Apr 2017 17:43
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/272536

Actions (login required)

View Item View Item