Home
DCC eCatalog
D._Richard__Kuhn
A technique for analyzing the effects of changes in formal specifications
