Gilbert Laycock

List of publications from the DBLP Bibliography Server - FAQ

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

1992

1 Gilbert Laycock: Formal Specification and Testing: A Case Study. Softw. Test., Verif. Reliab. 2(1): 7-23 (1992)