University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Preface.

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

[img]
Preview
Text
1-s2.0-S1571066111001629-main.pdf - Version of Record

Download (160kB) | Preview
[img] Text (licence)
licence.txt

Download (1kB)
[img] 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 :
NameEmailORCID
Potet, M-LUNSPECIFIEDUNSPECIFIED
Treharne, HelenH.Treharne@surrey.ac.ukUNSPECIFIED
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 View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800