1
Published 2007
Table of Contents: ...: Selecting and Exposing Object Paths -- Debugging Aspect-Enabled Programs -- Unification of Static...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... -- Verification of Component-Based Software Application Families -- Multi Criteria Selection of Components Using...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
View full text
Electronic eBook