Jump to navigation

Search form

  • My account
  • Impressum
University of Lübeck
University of Lübeck
Institute for Software Engineering
and Programming Languages
Home

You are here

Home ›

Biblio

Found 412 results
2014
PDF icon Decker_Kuehn_Thoma_RV-WS-issre14.pdf (450.24 KB)
PDF icon fdtl.pdf (516.65 KB)
2013
PDF icon main.pdf (370.68 KB)
PDF icon Decker_Leucker_Thoma_-_jUnitRV.pdf (198.29 KB)
PDF icon icsews13sesena-id10-p-16179-preprint.pdf (136.8 KB)
2012
PDF icon 10.1007-978-3-642-34026-0_11.pdf (313.55 KB)
PDF icon main.pdf (220.16 KB)
PDF icon Leucker_-_Teaching_Runtime_Verification-RV11.pdf (259.36 KB)
2011
PDF icon tosem09_prelim_1.pdf (717.65 KB)

Pages

  • « first
  • ‹ previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • …
  • next ›
  • last »
  • News
  • Research
    • Projects
    • Publications
    • Partners
    • Conferences
  • Teaching
    • Courses
    • Theses
      • FAQ
      • Templates
  • Staff
    • Martin Leucker
    • Elisabeth Schwennen
    • Phillip Bende
    • Juljan Bouchagiar
    • Tobias Braun
    • Gerhard Buntrock
    • David Caraveo
    • Hannes Kallwies
    • Karam Kharraz
    • Mohammad Khodaygani
    • Uwe Kienitz
    • Maria Ostanina
    • Hannes Preiß
    • Martin Sachenbacher
    • Malte Schmitz
    • Annette Stümpel
    • Daniel Thoma
    • Open Positions
  • Contact

 

© ISP - Institute for Software Engineering and Programming Languages 1996-2022