Generality in Design and Compositional Verification using TAV

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

Original language	English
Journal	Formal Methods in System Design
Volume	6
Pages (from-to)	239-258
ISSN	0925-9856
Publication status	Published - 1995

AUB Link

@article{84cbf060809211db8b97000ea68e967b,

title = "Generality in Design and Compositional Verification using TAV",

author = "Anders B{\o}rjesson and Larsen, {Kim Guldstrand} and Arne Skou",

year = "1995",

language = "English",

volume = "6",

pages = "239--258",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer",

}