Login / Signup
Anders Børjesson
Publication Activity (10 Years)
Years Active: 1992-1995
Publications (10 Years): 0
</>
Publications
</>
Anders Børjesson
,
Kim Guldstrand Larsen
,
Arne Skou
Generality in Design and Compositional Verification Using TAV.
Formal Methods Syst. Des.
6 (3) (1995)
Anders Børjesson
,
Kim Guldstrand Larsen
,
Arne Skou
Generality in design and compositional verification using TAV.
FORTE
(1992)