Published in: Lecture notes in computer science ; 7498

Published in: Science of Computer Programming, 107-108 (2015), Seite 1

Published in: Electronic Notes in Theoretical Computer Science, 95 (2004), Seite 227-243

Published in: Lecture Notes in Computer Science (2020), Seite 210-227

Published in: ACM SIGPLAN Notices, 49 (2014) 3, Seite 75-84

Published in: IEEE Transactions on Software Engineering, 39 (2013) 2, Seite 147-162

Published in: Theoretical Computer Science, 455 (2012), Seite 2-30

Published in: Lecture Notes in Computer Science (2011), Seite 96-111

Published in: Lecture Notes in Computer Science (2010), Seite 15-43

Published in: Electronic Notes in Theoretical Computer Science, 195 (2008), Seite 189-209

Published in: Requirements Engineering, 12 (2007) 2, Seite 77-102

Published in: Electronic Notes in Theoretical Computer Science, 184 (2007), Seite 209-233

Published in: Electronic Notes in Theoretical Computer Science, 130 (2005), Seite 3-21

Published in: IEEE Transactions on Software Engineering, 49 (2023) 3, Seite 1152-1170

Published in: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles (2020), Seite 138-158

Published in: ACM SIGPLAN Notices, 51 (2016) 3, Seite 35-44

Published in: ACM SIGSOFT Software Engineering Notes, 40 (2015) 3, Seite 38-38

Published in: Science of Computer Programming, 93 (2014), Seite 39-64