*sublabel_Solr*
*custom_text_above_search_result**custom_text_above_search_result_Solr*
*Showing* 1 - 20
*of* 1*number_thousands_separator*449
*custom_text_below_search_result*
*Narrow Search*
*facet_department*
*facet_classification_rvk*
*s200*
1*number_thousands_separator*070
*a100*
698
*s100*
146
*e200*
129
*q100*
107
*z230*
71
*more* ...
*z250*
66
*z220*
64
*NIL*
60
*w100*
30
*c200*
19
*u100*
18
*m200*
17
*z200*
16
*z280*
15
*z100*
11
*r100*
10
*a200*
9
*w200*
8
*d100*
7
*v100*
6
*t100*
5
*z260*
3
*a500*
2
*c100*
2
*m100*
2
*z210*
2
*z300*
2
*e100*
1
*e210*
1
*less* ...
*facet_topic_facet*
Konferenzschrift
813
Formale Methode
228
Model Checking
216
Softwareentwicklung
208
Programmverifikation
149
Verifikation
137
*more* ...
Software Engineering
101
Systementwicklung
83
Theoretische Informatik
82
Programmanalyse
73
Programmierung
72
Programmiersprache
69
Software
66
Softwaretest
66
Systemanalyse
58
Aufsatzsammlung
53
Testen
50
Hardwareverifikation
48
Verteiltes System
46
Künstliche Intelligenz
44
Systementwurf
42
Softwarespezifikation
40
Datensicherung
37
Eingebettetes System
37
Zuverlässigkeit
36
Automatisches Beweisverfahren
34
Computersicherheit
34
Rechnernetz
32
Modellgetriebene Entwicklung
31
Fehlertoleranz
30
*less* ...
*facet_material_brief*
*facet_author_facet*
Steffen, Bernhard
25
Margaria, Tiziana
24
Huisman, Marieke
15
Beyer, Dirk
14
Liu, Zhiming
11
Liu, Shaoying
10
*more* ...
Biere, Armin
8
Meyer, Bertrand
8
Woodcock, Jim
8
Parker, David
7
Vojnar, Tomáš
7
Voronkov, Andrei
7
Zhang, Lijun
7
Barthe, Gilles
6
Bernardo, Marco
6
Bjørner, Dines
6
Cavalcanti, Ana
6
Esparza, Javier
6
Finkbeiner, Bernd
6
Graf, Susanne
6
Groote, Jan Friso
6
Havelund, Klaus
6
Larsen, Kim Guldstrand
6
Legay, Axel
6
Shoham, Sharon
6
Stoelinga, Mariëlle
6
Vizel, Yakir
6
Bishop, Matt
5
Grumberg, Orna
5
Kordon, Fabrice
5
*less* ...
*facet_language*
*facet_publish_date*
*Filter*