Generality in Design and Compositional Verification using TAV

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Formal Methods in System Design
Vol/bind	6
Sider (fra-til)	239-258
ISSN	0925-9856
Status	Udgivet - 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",

}