*sublabel_Solr*
*custom_text_above_search_result**custom_text_above_search_result_Solr*
*Showing* 1 - 20
*of* 72
*custom_text_below_search_result*
*Narrow Search*
*facet_department*
*facet_topic_facet*
Konferenzschrift
37
Programmiersprache
29
Programmanalyse
24
Programmierung
24
Programmverifikation
16
Formale Methode
12
*more* ...
Programmtransformation
11
Typentheorie
10
Nebenläufigkeit
9
Programmierparadigma
9
Effizienter Algorithmus
6
Formale Sprache
6
Korrektheit
6
Programmierlogik
6
Softwaresystem
5
Model Checking
4
Typsystem
4
Abstrakte Interpretation
2
Constraint-basiertes Schließen
2
Programmierumgebung
2
Prozessalgebra
2
Softwarespezifikation
2
Statische Analyse
2
Bisimulation
1
Codegenerierung
1
Compiler
1
Formale Spezifikationstechnik
1
Funktionale Programmierung
1
Java Programmiersprache
1
Programmoptimierung
1
*less* ...
*facet_material_brief*
*facet_author_facet*
Weirich, Stephanie
5
Sergey, Ilya
4
Caires, Luís
3
Müller, Peter
3
Wies, Thomas
3
Yoshida, Nobuko
3
*more* ...
Degano, Pierpaolo
2
Hankin, Chris
2
Igarashi, Atsushi
2
Sands, David
2
Shao, Zhong
2
Smolka, Gert
2
Swierstra, S. Doaitse
2
Vafeiadis, Viktor
2
Yang, Hongseok
2
Ahmed, Amal
1
Barthe, Gilles
1
Castagna, Giuseppe
1
Chang, Bor-Yuh Evan
1
Chin, Wei-Ngan
1
De Nicola, Rocco
1
Drossopoulou, Sophia
1
Felleisen, Matthias
1
Feng, Xinyu
1
Gardner, Philippa
1
Garrigue, Jacques
1
Gordon, Andrew
1
Hu, Zhenjiang
1
Hur, Chung-Kil
1
Jhala, Ranjit
1
*less* ...
*facet_language*
*facet_publish_date*
*Filter*