Sciweavers

15784 search results - page 69 / 3157
» Mega Software Engineering
Sort
View
86
Voted
ICSE
2009
IEEE-ACM
16 years 3 months ago
Automatic dimension inference and checking for object-oriented programs
Sudheendra Hangal, Monica S. Lam
103
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
Verified systems by composition from verified components
Fei Xie, James C. Browne