Login / Signup

Automatically verifying an object-oriented specification of the Steam-Boiler system.

Paulo J. F. CarreiraMiguel E. F. Costa
Published in: Sci. Comput. Program. (2003)
Keyphrases