R. N. Shutt

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1989

1 R. N. Shutt: A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools. ESEC 1989: 260-291