Search results for: Bastian Schlich
Lecture Notes in Computer Science > Hardware and Software: Verification and Testing > Research Papers > 5-20
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 2. ASM Papers > 112-124
Lecture Notes in Computer Science > SOFSEM 2009: Theory and Practice of Computer Science > Regular Papers > 267-278
Lecture Notes in Computer Science > Hardware and Software: Verification and Testing > Formal Verification for Software > 185-201
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 21-37
FORMS/FORMAT 2010 > 2 nd Day Sessions > 237-245
Empirical Software Engineering > 2013 > 18 > 4 > 746-790
Science of Computer Programming > 2011 > 76 > 2 > 100-118
Electronic Notes in Theoretical Computer Science > 2009 > 254 > Complete > 45-63
Electronic Notes in Theoretical Computer Science > 2009 > 254 > Complete > 65-83
International Journal on Software Tools for Technology Transfer > 2009 > 11 > 3 > 187-202