ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Contact ePubs
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
JC Bicarregui (STFC Rutherford Appleton Lab.)
,
JS Fitzgerald
,
PG Larsen
,
JCP Woodcock
Abstract
Organisation
ESC
,
STFC
Keywords
Funding Information
EU
, 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
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar