Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System - Revising Seven Myths of Formal Methods

G.J. Tretmans, K. Wijbrans, M. Chaudron

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined
Pages (from-to)-
Number of pages215
JournalFormal methods in system design
Volume19
Issue number2
Publication statusPublished - 2001

Keywords

  • METIS-204148

Cite this

@article{02600fdd47f340a7851755be19f57f1a,
title = "Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System - Revising Seven Myths of Formal Methods",
keywords = "METIS-204148",
author = "G.J. Tretmans and K. Wijbrans and M. Chaudron",
year = "2001",
language = "Undefined",
volume = "19",
pages = "--",
journal = "Formal methods in system design",
issn = "0925-9856",
publisher = "Springer",
number = "2",

}

Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System - Revising Seven Myths of Formal Methods. / Tretmans, G.J.; Wijbrans, K.; Chaudron, M.

In: Formal methods in system design, Vol. 19, No. 2, 2001, p. -.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System - Revising Seven Myths of Formal Methods

AU - Tretmans, G.J.

AU - Wijbrans, K.

AU - Chaudron, M.

PY - 2001

Y1 - 2001

KW - METIS-204148

M3 - Article

VL - 19

SP - -

JO - Formal methods in system design

JF - Formal methods in system design

SN - 0925-9856

IS - 2

ER -