What Does It Mean to Say that a Specification is Complete (1987)

by K Yue
Venue:Proc. IWSSD-4, Fourth International Workshop on Software Specification and Desig