University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

UNSPECIFIED (2012) Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Date : 2012
Identification Number : https://doi.org/10.1007/978-3-642-30729-4
Contributors :
ContributionNameEmailORCID
UNSPECIFIEDDerrick, JUNSPECIFIEDUNSPECIFIED
UNSPECIFIEDGnesi, SUNSPECIFIEDUNSPECIFIED
UNSPECIFIEDLatella, DUNSPECIFIEDUNSPECIFIED
UNSPECIFIEDTreharne, Hh.treharne@surrey.ac.ukUNSPECIFIED
publisherSpringer, UNSPECIFIEDUNSPECIFIED
Depositing User : Symplectic Elements
Date Deposited : 17 May 2017 12:41
Last Modified : 17 May 2017 15:05
URI: http://epubs.surrey.ac.uk/id/eprint/836367

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