selected publications

• chapter

  • An Architecture for Interactive Program Provers.  Lecture Notes in Computer Science. 63-77. 2000

• conference paper

  • Application of Architecture Implementation Patterns by Incremental Code Generation.  . 2016