Making formal specifications dynamic objects

Anthony Finkelstein. Making formal specifications dynamic objects. In Mark Dowson, editor, Proceedings of the Third International Software Process Workshop (ISPW 86), November 1986, Beckenridge, Colorado, USA. pages 133-136, IEEE Computer Society, 1986.

Abstract

Abstract is missing.