Tests and Proofs 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings Kovács, Laura Heftet / 2022 / Engelsk
Computer Science Logic 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers Börger, Egon Heftet / 1994 / Engelsk
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers Bennaceur, Amel Heftet / 2018 / Engelsk
Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings Hanus Michael Heftet / 1997 / Engelsk
Principles of Declarative Programming 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings Palamidessi Catuscia Heftet / 1998 / Engelsk
Higher-Order Algebra, Logic, and Term Rewriting Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers Dowek Gilles Heftet / 1996 / Engelsk
Higher-Order Algebra, Logic, and Term Rewriting First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers Heering Jan Heftet / 1994 / Engelsk
