Preface.

Potet, M-L and Treharne, Helen (2011) Preface. Electr. Notes Theor. Comput. Sci., 280. pp. 1-2.

Preview	Text 1-s2.0-S1571066111001629-main.pdf - Version of Record Download (160kB) | Preview
	Text (licence) licence.txt Download (1kB)
	Text Lourenco_TSF_Preface.pdf Restricted to Repository staff only Available under License : See the attached licence file. Download (88kB)

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.

Item Type:	Article
Authors :	Name Email ORCID Potet, M-L UNSPECIFIED UNSPECIFIED Treharne, Helen H.Treharne@surrey.ac.uk UNSPECIFIED
Date :	14 December 2011
Identification Number :	10.1016/j.entcs.2011.11.013
Copyright Disclaimer :	© 2011 Elsevier B.V. Open access under CC BY-NC-ND license.
Depositing User :	Symplectic Elements
Date Deposited :	28 Jul 2017 10:48
Last Modified :	28 Jul 2017 10:48
URI:	http://epubs.surrey.ac.uk/id/eprint/7865

Actions (login required)

View Item

Downloads