ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/48912085
Record Status Checked
Record Id 48912085
Title Industrial practice in formal methods: a review
Contributors
Abstract
Organisation ESC , STFC
Keywords
Funding Information EC, EU FP7 Integrated Project Deploy
Related Research Object(s): 53488
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Author Accepted Manuscript Lecture Notes in Computer Science 5850 (2009): 810-813. Presented at: International Symposium on Formal Methods, Second World Congress (FM 2009), Eindhoven, Netherlands, 2-6 Nov 2009. STFC-AAM-2021-007.pdf 2009