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

by What K Yue
Venue:Proceedings of the Fourth International Workshop on Software Specification and Design (IWSSD-4