consider the specification produced by the formal method (if any) more or less readable than other specifications produced by other methods you have used? Why? How would you describe the effect of the formal method on the reviewability of the specificatio (1980)

by Would you
Venue:M. Burkardt, in the proceedings of the 1995 ELFE Summer School and Workshop, Confinement Physics, edited by