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.

Authors

Anthony Finkelstein

This author has not been identified. Look up 'Anthony Finkelstein' in Google