TY - DATA AU - Löwe,Welf AU - Südholt,Mario ED - SpringerLink (Online service) TI - Software Composition: 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers T2 - Lecture Notes in Computer Science, SN - 9783540376590 AV - QA76.76.C66 L69 2006 PY - 2006/// 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/11821946 ER -