Generality in Design and Compositional Verification using TAV

Anders Børjesson, Kim Guldstrand Larsen, Arne Skou

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

9 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftFormal Methods in System Design
Vol/bind6
Sider (fra-til)239-258
ISSN0925-9856
StatusUdgivet - 1995

Citationsformater