Login / Signup

Automatically Checking an Implementation against Its Formal Specification.

Sergio AntoyRichard G. Hamlet
Published in: IEEE Trans. Software Eng. (2000)
Keyphrases