Objects, models, components, patterns 48th international conference, TOOLS 2010, Malaga, Spain, June 28, July 2, 2010 : proceedings - TOOLS (Conference) 2010 : Malaga, Spain); Vitek, Jan.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010)
Keywords: Object-oriented programming (Computer science) -- Congresses; Object-oriented methods (Computer science) -- Congresses; Subroutines (Computer programs) -- Congresses; Logics and Meanings of Programs; Mathematical Logic and Formal Languages