Paul W. Horstmann

List of publications from the DBLP Bibliography Server - FAQ

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

1983

1 Paul W. Horstmann: Design for Testability Using Logic Programming. ITC 1983: 706-713