Preface.
Tools
Tools
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 |
|
![[img]](http://epubs.surrey.ac.uk/style/images/fileicons/text.png) |
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