Experiences of Formal Methods in ‘Conventional’ Software and Systems Design

Contributors

Ian Oliver

Conference

Publication date: December 2007

Publication date (Print): December 2007

Pages: 1-9

Affiliations

[0001]Nokia Research Center

Itämerenkatu ll-l3

Helsinki

Finland

Article

DOI: 10.14236/ewic/FMI2007.4

SO-VID: c65ecd7a-dcfa-452e-8e30-a4283aa26083

Copyright statement: © Ian Oliver. Published by BCS Learning and Development Ltd. FACS 2007 Christmas Workshop: Formal Methods in Industry, BCS London, UK

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: FACS 2007 Christmas Workshop: Formal Methods in Industry

Conference acronym: FMI

Conference number:

Conference location: BCS London, UK

Conference date: 17 December 2007

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Formal Methods in Industry

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FMI2007.4

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing