Abstract
This volume contains the revised version of a selection of papers presented at the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods (FM 2011). It took place in Limerick, Ireland, on 21st June, 2011.
- Title
- Preface.
- Creators
- M-L PotetHelen Treharne
- Publication Details
- Electr. Notes Theor. Comput. Sci., Vol.280, pp.1-2
- Publisher
- Elsevier B.V.
- Date published
- 14/12/2011
- Date submitted
- 16/11/2011
- Identifiers
- 99512928002346
- Copyright
- © 2011 Elsevier B.V. Open access under CC BY-NC-ND license.
- Academic Unit
- University of Surrey
- Resource Type
- Journal article