Where next for formal methods?
Tools
Tools
Tools
Heather, J and Wei, K (2009) Where next for formal methods? Lecture Notes in Computer Science, 5087. pp. 52-58.
![[img]](http://epubs.surrey.ac.uk/style/images/fileicons/text.png)
|
Text
where next for formal methods ispw14.pdf - Accepted version Manuscript Available under License : See the attached licence file. Download (127kB) |
|
|
Text (licence)
SRI_deposit_agreement.pdf Download (33kB) |
Official URL: http://dx.doi.org/10.1007/978-3-642-04904-0_10
| Item Type: | Article | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Divisions : | Faculty of Engineering and Physical Sciences > Computing Science | |||||||||
| Authors : |
|
|||||||||
| Date : | 2009 | |||||||||
| DOI : | 10.1007/978-3-642-04904-0_10 | |||||||||
| Additional Information : | The original publication is available at http://www.springerlink.com | |||||||||
| Depositing User : | Symplectic Elements | |||||||||
| Date Deposited : | 26 Jan 2012 09:38 | |||||||||
| Last Modified : | 31 Oct 2017 14:18 | |||||||||
| URI: | http://epubs.surrey.ac.uk/id/eprint/107397 |
Actions (login required)
 |
View Item |
Downloads
Downloads per month over past year