Login / Signup
Miguel E. F. Costa
Publication Activity (10 Years)
Years Active: 2003-2003
Publications (10 Years): 0
</>
Publications
</>
Paulo J. F. Carreira
,
Miguel E. F. Costa
Automatically verifying an object-oriented specification of the Steam-Boiler system.
Sci. Comput. Program.
46 (3) (2003)