Previous
Next
Journal
- «uml» 2003 - the unified modeling language. modeling languages and applications : 6th international conference, san francisco, ca, usa, october 20-24, 2003. proceedings35
- tools and algorithms for the construction and analysis of systems : 8th international conference, tacas 2002 held as part of the joint european conferences on theory and practice of software, etaps 2002 grenoble, france, april 8-12, 2002 proceedings35
- fundamental approaches to software engineering : 19th international conference, fase 2016, held as part of the european joint conferences on theory and practice of software, etaps 2016, eindhoven, the netherlands, april 2-8, 2016, proceedings25
- lecture notes in computer science20
- software & systems modeling20
- formal methods for open object-based distributed systems : 6th ifip wg 6.1 international conference, fmoods 2003, paris, france, november 19.21, 2003. proceedings19
- international journal on software tools for technology transfer9
- software and systems modeling6
- bidirectional transformations : international summer school, oxford, uk, july 25-29, 2016, tutorial lectures5