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 . 52 - 58. ISSN 0302-9743
![[img]](/style/images/fileicons/application_pdf.png)
| PDF - Accepted Version Available under License : See the attached licence file. 124Kb | |
| PDF (licence) 32Kb |
Official URL: http://dx.doi.org/10.1007/978-3-642-04904-0_10
| Item Type: | Article |
|---|---|
| Additional Information: | The original publication is available at http://www.springerlink.com |
| Divisions: | Faculty of Engineering and Physical Sciences > Computing Science |
| ID Code: | 107397 |
| Deposited By: | Symplectic Elements |
| Deposited On: | 26 Jan 2012 09:38 |
| Last Modified: | 16 Feb 2013 16:47 |
Document Downloads
Repository Staff Only: item control page