Invariants for Specifications

Jeff Kramer, Jim Cunningham. Invariants for Specifications. In ICSE. pages 183-193, 1979.

No reviews for this publication, yet.