Preface.
Tools
Potet, M-L and Treharne, Helen (2011) Preface. Electr. Notes Theor. Comput. Sci., 280. pp. 1-2.
|
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 | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Divisions : | Surrey research (other units) | |||||||||
Authors : |
|
|||||||||
Date : | 14 December 2011 | |||||||||
DOI : | 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 : | 24 Jan 2020 11:18 | |||||||||
URI: | http://epubs.surrey.ac.uk/id/eprint/7865 |
Actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year