*sublabel_Solr*
*custom_text_above_search_result**custom_text_above_search_result_Solr*
*Showing* 1 - 20
*of* 1*number_thousands_separator*530
*custom_text_below_search_result*
*Narrow Search*
*facet_department*
*facet_classification_rvk*
*s200*
1*number_thousands_separator*153
*a100*
724
*s100*
158
*e200*
138
*q100*
105
*z230*
71
*more* ...
*NIL*
70
*z220*
65
*z250*
63
*w100*
28
*c200*
19
*m200*
18
*z200*
18
*u100*
15
*z280*
12
*z100*
11
*a200*
10
*r100*
10
*d100*
7
*w200*
7
*v100*
6
*t100*
4
*a500*
2
*c100*
2
*m100*
2
*z210*
2
*z260*
2
*z300*
2
*e100*
1
*e210*
1
*less* ...
*facet_topic_facet*
Konferenzschrift
725
Model Checking
260
Formale Methode
217
Softwareentwicklung
172
Verifikation
134
Programmverifikation
121
*more* ...
Programmanalyse
74
Software Engineering
68
Software
64
Systementwicklung
62
Theoretische Informatik
60
Softwaretest
53
Hochschulschrift
51
Programmierung
49
Testen
49
Aufsatzsammlung
41
Eingebettetes System
39
Programmiersprache
37
Softwarespezifikation
37
Verteiltes System
37
Automatisches Beweisverfahren
35
Datensicherung
33
Nebenläufigkeit
33
Zuverlässigkeit
32
Systementwurf
31
Computersicherheit
30
Formale Spezifikationstechnik
30
Rechnernetz
30
Fehlertoleranz
27
Komponente Software
27
*less* ...
*facet_material_brief*
*facet_author_facet*
Margaria, Tiziana
25
Steffen, Bernhard
25
Beyer, Dirk
13
Huisman, Marieke
12
Liu, Zhiming
11
Havelund, Klaus
9
*more* ...
Liu, Shaoying
9
Biere, Armin
8
Meyer, Bertrand
8
Woodcock, Jim
8
Graf, Susanne
7
Lal, Akash
7
Parker, David
7
Silva, Alexandra
7
Stoelinga, Mariëlle
7
Vojnar, Tomáš
7
Voronkov, Andrei
7
Wang, Chao
7
Zhang, Lijun
7
Barthe, Gilles
6
Bernardo, Marco
6
Bjørner, Dines
6
Cavalcanti, Ana
6
Enea, Constantin
6
Esparza, Javier
6
Finkbeiner, Bernd
6
Katoen, Joost-Pieter
6
Legay, Axel
6
Leino, K. Rustan M.
6
Leue, Stefan
6
*less* ...
*facet_language*
*facet_publish_date*
*Filter*