S. R. Smith

List of publications from the DBLP Bibliography Server - FAQ

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

1997

1 S. R. Smith: Constructing and Revising Formal Arguments in Requirements Engineering. Requir. Eng. 2(4): 199-216 (1997)