Sciweavers

33 search results - page 1 / 7
» sigsoft 2003
Sort
View
159
Voted
SIGSOFT
2003
ACM
16 years 7 months ago
Computer modelling and natural phenomena
Giuseppe Longo
155
Voted
SIGSOFT
2003
ACM
16 years 7 months ago
Verified systems by composition from verified components
Fei Xie, James C. Browne