Encouraging the Uptake of Formal Methods Training in an Industrial Context

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Abstract

I recently had occasion to revisit a collection of papers edited by myself and Jonathan Bowen published way back in 1995. The collection, Applications of Formal Methods [1], sprung from the obvious need in the formal methods community for detailed examples, insights from industrial best practice, and experience reports.

Original languageEnglish
Title of host publicationCommunications in Computer and Information Science
EditorsTiziana Margaria, Bernhard Steffen
PublisherSpringer Verlag
Pages473-477
Number of pages5
ISBN (Print)9783540884781
DOIs
Publication statusPublished - 2009

Publication series

NameCommunications in Computer and Information Science
Volume17
ISSN (Print)1865-0929

Fingerprint

Dive into the research topics of 'Encouraging the Uptake of Formal Methods Training in an Industrial Context'. Together they form a unique fingerprint.

Cite this