Peter Gorm Larsen

Industrial Deployment of Formal Methods: Trends and Challenges

Research output: Contribution to book/anthology/report/proceedingBook chapterResearch

    J Fitzgerald, University of Newcastle, United KingdomJ C Bicarregui, e-Science, Oxford, United Kingdom
  • Peter Gorm Larsen
  • J C P Woodcock, University of York, United Kingdom
Original languageEnglish
Title of host publicationThe DEPLOY book : Industrial deployment of system engineering methods providing high dependability and productivity
EditorsA Romanovsky, M Thomas
PublisherSpringer
Publication yearApr 2013
Chapter10
ISBN (print)978-3-642-33169-5
StatePublished - Apr 2013

See relations at Aarhus University Citationformats

ID: 48547125