Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings - Schmidt, Heinz W.; Crnkovic, Ivica; Heineman, George T.; Stafford, Judith A.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Computer science; Computer Communication Networks; Software engineering; Logic design; Computer Science; Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Computer Communication Networks