Szerző
SpringerLink (Online service), közreadó testület
25
International Conference on Tools and Algorithms for the Construction and Analysis of Systems23.(2017) (Uppsala, Sweden)
2
Kunčak, Viktor, szerk.(1977-)
2
Legay, Axel, szerk
2
Majumdar, Rupak, szerk
2
Margaria, Tiziana, szerk
2
Tonetta, Stefano, szerk
2
Abate, Alessandro, szerk
1
Antonucci, Alessandro, szerk
1
Artho, Cyrille, szerk.(1976-)
1
Battiti, Roberto, szerk
1
Bogomolov, Sergiy, szerk
1
Boldo, Sylvie, szerk
1
Bouajjani, Ahmed, szerk
1
Cavalli, Ana Rosa, szerk
1
Charlier, Émilie, szerk
1
Cholvy, Laurence, szerk
1
Di Marco, Antinisca, szerk
1
Duan, Zhenhua, szerk
1
European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty14
1
European Workshop on Computer Performance Engineering14.(2017) (Berlin, Germany)
1
Gerdt, V. P., szerk
1
Hameurlain, Abdelkader, szerk
1
Hung, Dang Van., editor
1
IFIP WG 1.3 International Workshop on Algebraic Development Techniques23.(2017) (Gregynog, UK)
1
IFIP WG 6.1 International Conference on Testing Software and Systems29.(2017) (St. Petersburg, Russia)
1
International Colloquium on Theoretical Aspects of Computing14.(2017) (Hanoi, Vietnam)
1
International Conference on Computer Aided Verification29.(2017) (Heidelberg, Germany)
1
International Conference on Computer Aided Verification29.2017Heidelberg, Germany
1
International Conference on Computer Safety, Reliability, and Security36.(2017) (Trento, Italy)
1
International Conference on Developments in Language Theory21.(2017) (Liège, Belgium)
1
International Conference on Formal Engineering Methods19(2017) (Xi'an, China)
1
International Conference on Learning and Intelligent Optimization11.(2017) (Nizhny Novgorod, Russia)
1
International Conference on Scalable Uncertainty Management11.(2017) (Granada, Spain)
1
International Conference on Unconventional Computation and Natural Computation16.(2017) (Fayetteville, AR, USA)
1
International Conference on Verification, Model Checking, and Abstract Interpretation18.(2017) (Paris, France)
1
International Symposium on Dependable Software Engineering: Theories, Tools, and Applications
1
International Workshop on Consistency and Inconsistency (2016) (Porto, Portugal)
1
International Workshop on Formal Techniques for Safety-Critical Systems5.(2016) (Tokyo, Japan)
1
International Workshop on Numerical Software Verification10.(2017) (Heidelberg, Németország)
1
International Workshop on Numerical Software Verification9.(2016) (Toronto, ON, Canada)
1
International Workshop on Computer Algebra in Scientific Computing19.(2017) (Beijing, China)
1
International Haifa Verification Conference13.(2017) (Haifa, Israel)
1
James, Phillip, szerk
1
Kapur, Deepak., editor
1
Kvasov, Dmitri E., szerk
1
Larsen, Kim Guldstrand, szerk
1
Leroy, Julien, szerk
1
Martel, Matthieu, szerk
1
Monniaux, David, szerk
1
többet ...