Search results
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Verification > 25-44
Lecture Notes in Computer Science > Software Architecture > Software Architecture, Components, and Compositions > 67-74
Formal Aspects of Computing > 2015 > 27 > 2 > 423-472
Formal Aspects of Computing > 2013 > 25 > 6 > 893-931
International Journal on Software Tools for Technology Transfer > 2009 > 11 > 3 > 217-238
Theoretical Computer Science > 2006 > 364 > 3 > 318-337