Search results for: Richard Bubel
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 5 > 485-513
Journal of Automated Reasoning > 2019 > 62 > 1 > 93-126
Computers & Security > 2017 > 67 > C > 335-349
Lecture Notes in Computer Science > Verification of Object-Oriented Software. The KeY Approach > Part II: Expressing and Formalising Requirements > 295-315
Lecture Notes in Computer Science > Verification of Object-Oriented Software. The KeY Approach > Part IV: Case Studies > 569-587
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 90-105
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The HATS Project > 125-146
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The MOBIUS Project > 247-277
Software & Systems Modeling > 2016 > 15 > 4 > 987-1012
International Journal on Software Tools for Technology Transfer > 2015 > 17 > 1 > 107-119
Software & Systems Modeling > 2016 > 15 > 4 > 1117-1140
Electronic Notes in Theoretical Computer Science > 2008 > 199 > Complete > 107-128
Software & Systems Modeling > 2005 > 4 > 1 > 32-54
International Journal on Software Tools for Technology Transfer > 2005 > 7 > 3 > 197-211
Electronic Notes in Theoretical Computer Science > 2003 > 80 > Complete > 1-23