Ergebnisse zu
Compilerbau

5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

Analysis and Transformation

DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The..

An Introduction

11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble,..

5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers

A Guide to Practical Formal Development