Partial Specification and Compositional Verification

Kim Guldstrand Larsen, Bent Thomsen

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

8 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftTheoretical Computer Science
Vol/bind88 s.
ISSN0304-3975
StatusUdgivet - 1991

Citationsformater