New Trends in Constraints Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers Apt, Krzysztof R. Heftet / 2000 / Engelsk
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers Apt, Krzysztof R. Heftet / 2004 / Engelsk
Programmverifikation Sequentielle, parallele und verteilte Programme Apt, Krzysztof R. Heftet / 1994 / Tysk
