Symbolic Techniques for Formally Verifying Industrial Systems

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea. Symbolic Techniques for Formally Verifying Industrial Systems. Science of Computer Programming, 29(1-2):79-98, 1997.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.