Anthony I. Wasserman. The evolution of specification techniques. In James S. Ketchel, Harvey Z. Kriloff, H. Blair Burner, Patricia E. Crockett, Robert G. Herriot, George B. Houston, Cathy S. Kitto, editors, Proceedings of the 1977 annual conference, ACM '77, Seattle, Washington, USA, October 16-19, 1977. pages 134-137, ACM, 1977. [doi]
No reviews for this publication, yet.