Some publications by Dirk Beyer
Articles in journal or book chapters
Thomas A. Henzinger,
and Rupak Majumdar.
The Software Model Checker Blast: Applications to Software Engineering..
Int. Journal on Software Tools for Technology Transfer,
Note: Invited to special issue of selected papers from FASE 2005.
and Claus Lewerentz.
Simple and Efficient Relational Querying of Software Structures.
In Eleni Stroulia and Arie van Deursen, editors,
Proceedings of the 10th Working Conference on Reverse Engineering,
IEEE Computer Society Press.
] Keyword(s): Design Patterns.
This document was translated from BibTEX by