*sublabel_Solr*
*custom_text_above_search_result**custom_text_above_search_result_Solr*
*Showing* 1 - 20
*of* 223
*custom_text_below_search_result*
*Narrow Search*
*facet_department*
*facet_classification_rvk*
*facet_topic_facet*
Konferenzschrift
143
Softwareentwicklung
50
Formale Methode
38
Programmverifikation
24
Software Engineering
23
Objektorientierte Programmierung
18
*more* ...
Objektorientierung
17
Aufsatzsammlung
14
Komponente Software
14
Programmierung
13
Softwarespezifikation
13
Verteiltes System
13
Programmanalyse
12
Model Checking
11
Nebenläufigkeit
10
Systementwicklung
10
Verifikation
10
Automatisches Beweisverfahren
9
Formale Spezifikationstechnik
9
Programmiersprache
9
Korrektheit
8
Programmierlogik
8
Theoretische Informatik
8
Logische Programmierung
7
Software
7
Computersicherheit
6
Algebraische Methode
5
Softwaretest
5
Systemanalyse
5
Systementwurf
5
*less* ...
*facet_material_brief*
*facet_author_facet*
Bonsangue, Marcello M
9
Müller, Peter
6
de Boer, Frank S
6
Margaria, Tiziana
5
Beckert, Bernhard
4
Graf, Susanne
4
*more* ...
Liu, Shaoying
4
de Roever, Willem-Paul
4
Bjørner, Dines
3
Castagna, Giuseppe
3
Duan, Zhenhua
3
Sommerville, Ian
3
Steffen, Bernhard
3
Wirsing, Martin
3
Abramsky, Samson
2
America, Pierre
2
Arbab, Farhad
2
Baeten, Josephus C. M.
2
Breitenecker, Felix
2
Díaz, Josep
2
Fitzgerald, John
2
Gao, Jerry
2
Gaudel, Marie-Claude
2
Gilb, Tom
2
Gilchrist , Bruce
2
Honsell, Furio
2
Hsia, Pei
2
Johnsen, Einar Broch
2
Kelton, W. David
2
Kim, Ta̕k-kon
2
*less* ...
*facet_publish_date*
*Filter*