Jump to navigation
Search form
Search
My account
Impressum
University of Lübeck
Institute for Software Engineering
and Programming Languages
You are here
Home
›
Biblio
Found 412 results
2014
Decker_Kuehn_Thoma_RV-WS-issre14.pdf
(450.24 KB)
fdtl.pdf
(516.65 KB)
2013
main.pdf
(370.68 KB)
Decker_Leucker_Thoma_-_jUnitRV.pdf
(198.29 KB)
icsews13sesena-id10-p-16179-preprint.pdf
(136.8 KB)
2012
10.1007-978-3-642-34026-0_11.pdf
(313.55 KB)
main.pdf
(220.16 KB)
Leucker_-_Teaching_Runtime_Verification-RV11.pdf
(259.36 KB)
2011
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