Sciweavers

45 search results - page 1 / 9
» fac 2006
Sort
View
92
Voted
FAC
2007
87views more  FAC 2007»
15 years 10 days ago
Highly dependable concurrent programming using design for verification
Aysu Betin-Can, Tevfik Bultan
95
Voted
FAC
2002
41views more  FAC 2002»
15 years 5 days ago
Generic Composition
Yifeng Chen
71
Voted
FAC
2002
48views more  FAC 2002»
15 years 5 days ago
Three Inadequate Models
Gordon D. Plotkin