G. T. Scullard

List of publications from the DBLP Bibliography Server - FAQ

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

1988

1 G. T. Scullard: Test Case Selection using VDM. VDM Europe 1988: 178-186