Karl Azab

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

3 Karl Azab, Annegret Habel: High-Level Programs and Program Conditions. ICGT 2008: 211-225

2 Karl Azab, Karl-Heinz Pennemann: Type Checking C++ Template Instantiation by Graph Programs. ECEASST 10: (2008)

2006

1 Karl Azab, Annegret Habel, Karl-Heinz Pennemann, Christian Zuckschwerdt: ENFORCe: A System for Ensuring Formal Correctness of High-level Programs. ECEASST 1: (2006)

	2008
3		Karl Azab, Annegret Habel: High-Level Programs and Program Conditions. ICGT 2008: 211-225
2		Karl Azab, Karl-Heinz Pennemann: Type Checking C++ Template Instantiation by Graph Programs. ECEASST 10: (2008)
	2006
1		Karl Azab, Annegret Habel, Karl-Heinz Pennemann, Christian Zuckschwerdt: ENFORCe: A System for Ensuring Formal Correctness of High-level Programs. ECEASST 1: (2006)

Coauthor Index