Systems and Software Verification

Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.. Systems and Software Verification. Springer, 2001.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.