Workshop on Softwur-e Spec$cation and Design (IWSSD-Cl (1989)

by A Finkelstein, D Gabbay, A Hunter, J Kramer, B Nuseiheh
Venue:IEEE Trans