From Safety Analysis to Formal Specification

Kirsten Mark Hansen, Anders Peter Ravn, Victoria Stavridou

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Journal	IEEE Transactions on Software Engineering
Volume	24
Issue number	7
Pages (from-to)	573-584
ISSN	0098-5589
Publication status	Published - 1998

AUB Link

@article{2f9e95106b1911de9003000ea68e967b,

title = "From Safety Analysis to Formal Specification",

author = "Hansen, {Kirsten Mark} and Ravn, {Anders Peter} and Victoria Stavridou",

year = "1998",

language = "English",

volume = "24",

pages = "573--584",

journal = "IEEE Transactions on Software Engineering",

issn = "0098-5589",

publisher = "IEEE",

number = "7",

}