pkoerner cases
  • Home
  • Archives
  • Teaching
  • My Publications
  • RSS

Posts Tagged "thesis"

  • How to Write a Thesis: Things to Consider and Avoid

Profiles

Google Scholar logo GitHub logo

Pages

Recent Posts

  • How to Write a Thesis: Things to Consider and Avoid
  • A case for data-oriented specifications: simpler implementation of B tools and DSLs
  • Bi-Directional DSL Transformation Using miniKanren

Tags

  • thesis
  • publications
  • tools
  • case study
  • Code Generation
  • Evaluation
  • types
  • model checking
  • modelling
  • constraint solving
  • C
  • Survey
  • B
  • Clojure
  • Prolog
  • teaching
  • lisb
  • miniKanren
  • Model Checking
  • experience report
  • ProB
  • LTSmin
  • Java
  • survey
Copyright © 2025 pkoerner

Powered by Cryogen