16 search results - page 4 / 4 » Component Reuse in B Using ACL2 |
139
Voted
ICSE
2001
IEEE-ACM
15 years 7 months ago
2001
IEEE-ACM
Software developers writing new software have strong incentives to make their products compliant to standards such as corba, com, and JavaBeans. Standardscompliance facilitates in...