Sciweavers

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