Sciweavers

78
Voted
BIRTHDAY
2008
Springer
15 years 11 days ago
From Domain to Requirements
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
Dines Bjørner