Login / Signup
Andre Wong
Publication Activity (10 Years)
Years Active: 1999-2002
Publications (10 Years): 0
</>
Publications
</>
Marsha Chechik
,
Andre Wong
Formal modeling in a commercial setting: A case study.
J. Syst. Softw.
60 (1) (2002)
Andre Wong
,
Marsha Chechik
Formal Modeling in a Commercial Setting: A Case Study.
World Congress on Formal Methods
(1999)
Andre Wong
,
Marsha Chechik
Formal Modeling in a Commercial Setting: A Case Study
CoRR
(1999)