Concepedia

Method Sequence Specification and Verification of Classes.

S. Kirani, Wei‐Tek Tsai

Journal of Object-oriented Programming · 1994 · 52 citations · 0 references

Concepts