TY - DATA AU - Lumpe,Markus AU - Vanderperren,Wim ED - SpringerLink (Online service) TI - Software Composition: 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers T2 - Lecture Notes in Computer Science, SN - 9783540773511 AV - QA76.76.C66 L86 2007 PY - 2007/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Computer Communication Networks KW - Software engineering KW - Logic design KW - Computer Science KW - Software Engineering KW - Programming Techniques KW - Programming Languages, Compilers, Interpreters KW - Logics and Meanings of Programs UR - http://dx.doi.org/10.1007/978-3-540-77351-1 ER -