Publikationen von Christoph LĂĽth






  • Udo Frese; Daniel Hausmann; Christoph Lüth; Holger Täubig; Dennis Walter
    The Importance of Being Formal.
    In: M. Huhn; H. Hungar (Hrsg.). Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems. International Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert-08), located at ETAPS'08, March 29, Budapest, Hungary, Pages 57-70, Vol. 238, No. 4, Elsevier B.V. 2009.
  • Christoph Lüth; Dennis Walter
    Certifiable specification and verification of C programs.
    In: FM 2009: Formal Methods. International Symposium on Formal Methods (FM-2009), November 2-6, Eindhoven, Netherlands, Springer, 2009.
  • David Aspinall; Serge Autexier; Christoph Lüth; Marc Wagner
    Towards Merging Plato and PGIP.
    In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008), August 22, Montreal, QC, Canada, Pages 3-21, Electronic Notes in Theoretical Computer Science, Vol. 226, Elsevier Science, 2009.




  • David Aspinall; Christoph Lüth; Daniel Winterstein; Ahsan Fayyaz
    Proof General in Eclipse.
    In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop at OOPSLA (ETX'06) (ETX-06), ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 22-26, Portland, Oregon, USA, ACM Press, 2006.
  • Maksym Bortin; Einar Broch Johnsen; Christoph Lüth
    Structured Formal Development in Isabelle.
    In: Nordic Journal of Computing, Vol. 12, Pages 1-20, o.A. 2006.
  • David Aspinall; Christoph Lüth; Burkhart Wolff
    Assisted Proof Document Authoring.
    In: Michael Kohlhase (Hrsg.). Mathematical Knowledge Management. International Conference on Mathematical Knowledge Management (MKM-2005), July 15-17, Bremen, Germany, Pages 65-80, Lecture Notes in Artificial Intelligence, Vol. 3863, ISBN 978-3-540-31430-1, Springer, Berlin, Heidelberg, 2006.