1
Published 1993
Springer London
... in this volume are: what is a formal method?; social research on formal methods; current quality assurance...