A. Haxthausen

发表

Anne Elisabeth Haxthausen, Till Mossakowski, Donald Sannella, 2008 .
Anne Elisabeth Haxthausen, A. Haxthausen, 2009, Int. J. Softw. Informatics.
Anne Elisabeth Haxthausen, Markus Roggenbach, Stefan Gruner, 2014, ICSE 2014.
A. Fantechi, A. Haxthausen, 2022, Formal Aspects of Computing.
Anne Elisabeth Haxthausen, Marie Le Bliguet, Andreas A. Kjær, 2011, FM.
Anne Elisabeth Haxthausen, Morten P. Lindegaard, Peter Viuf, 2000 .
Dines Bjørner, Anne Elisabeth Haxthausen, Chris George, 2004, SoftSpez Final Report.
Anne Elisabeth Haxthausen, Jan Peleska, J. Peleska, 2016, ISoLA.
Anne Elisabeth Haxthausen, Jan Peleska, Sebastian Kinder, 2011, Formal Aspects of Computing.
Anne Elisabeth Haxthausen, Marie Le Bliguet, Andreas A. Kjær, 2008, Monterey Workshop.
Anne Elisabeth Haxthausen, Jan Peleska, J. Peleska, 2015, SyDe Summer School.
Mario Gleirscher, Martin Leucker, Sven Linker, 2019, Dagstuhl Reports.
Anne E. Haxthausen, Per Lange Laursen, Van Anh Thi Trinh, 2020, ISoLA.
Anne Elisabeth Haxthausen, Kristian Hede, A. Haxthausen, 2019, From Software Engineering to Formal Methods and Tools, and Back.
Anne Elisabeth Haxthausen, Jan Peleska, Linh Vu Hong, 2014, Sci. Comput. Program..
Anne Elisabeth Haxthausen, Cécile Braunstein, Jan Peleska, 2014, ICFEM.
K. Havelund, D. Bjørner, A. Haxthausen, 1992, Future generations computer systems.
Stefania Gnesi, Alessandro Fantechi, Anne E. Haxthausen, 2020, ISoLA.
Friederike Nickl, Anne Elisabeth Haxthausen, A. Haxthausen, 1996, AMAST.
Anne Elisabeth Haxthausen, Jan Peleska, Ralf Pinger, 2019, Formal Aspects of Computing.