Sciweavers

SIGSOFT
2003
ACM

Verified systems by composition from verified components

15 years 5 days ago
Verified systems by composition from verified components
Fei Xie, James C. Browne
Added 20 Nov 2009
Updated 20 Nov 2009
Type Conference
Year 2003
Where SIGSOFT
Authors Fei Xie, James C. Browne
Comments (0)