Login / Signup
Brian R. Hicks
Publication Activity (10 Years)
Years Active: 1999-1999
Publications (10 Years): 0
</>
Publications
</>
John C. Knight
,
P. Thomas Fletcher
,
Brian R. Hicks
Tool Support for Production Use of Formal Techniques.
World Congress on Formal Methods
(1999)