Generative and Transformational Techniques in Software Engineering III  International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /  [electronic resource] : 
edited by Joćo M. Fernandes...[et al.] 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2011. 
 - 1 online resource 
 - Lecture Notes in Computer Science,  6491  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783642180231 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Logic design.