Specifications and Their Use in Defining Subtypes

  • Authors:

  • Barbara Liskov;Jeannette M. Wing

  • Affiliations:

  • -;-

  • Venue:
  • ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract