Sciweavers

TSE
2002
111views more  TSE 2002»
14 years 3 days ago
Formal Methods Application: An Empirical Tale of Software Development
Ann E. Kelley Sobel, Michael R. Clarkson