Szerző
SpringerLink (Online service), közreadó testület
22
European Joint Conferences on Theory and Practice of Software22.(2019) (Prague, Czech Republic)
3
International Conference on Tools and Algorithms for the Construction and Analysis of Systems25.(2019) (Prague, Czech Republic)
3
International Joint Conference on Automated Reasoning10.(2020) (Paris)
2
Peltier, Nicolas (1972-), szerk
2
Sofronie-Stokkermans, Viorica, szerk
2
Vojnar, Tomáš, szerk
2
Zhang, Lijun, szerk
2
Alviano, Mario, szerk
1
Artho, Cyrille, szerk.(1976-)
1
Badger, Julia M., szerk
1
Beyer, Dirk, szerk
1
Blackburn, Patrick (1959-), szerk
1
Bojańczyk, Mikołaj, szerk
1
Breveglieri, Luca, szerk
1
Chang, Bor-Yuh Evan, szerk
1
Collart-Dutilleul, Simon, szerk
1
Crespi Reghizzi, Stefano
1
Deshmukh, Jyotirmoy, szerk
1
Dongol, Brijesh, szerk
1
European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty15.(2019) (Belgrade)
1
Fantechi, Alessandro, szerk
1
Graf, Susanne, szerk
1
Greco, Gianluigi, szerk
1
Guo, Meiyun, szerk
1
Hoare, Charles Anthony Richard
1
Hofstedt, Petra, szerk
1
Hölldobler, Steffen
1
International Conference on Reliability, Safety and Security of Railway Systems3.(2019) (Lille, France)
1
International Conference on Runtime Verification20.(2020) (Los Angeles)
1
International Static Analysis Symposium26.(2019) (Porto, Portugal)
1
International Symposium on Logic-Based Program Synthesis and Transformation28.(2018) (Frankfurt/Main, Germany)
1
International Symposium on NASA Formal Methods11.(2019) (Houston, TX, USA)
1
Kern-Isberner, Gabriele, szerk
1
Larsen, Kim G., szerk
1
Lecomte, Thierry, szerk
1
Lorini, Emiliano, szerk
1
Margaria, Tiziana, szerk
1
Mesnard, Fred, szerk
1
Morzenti, Angelo, szerk
1
Nakano, Keisuke, szerk
1
Ničković, Dejan (1981-), szerk
1
Ognjanović, Zoran, szerk
1
Panetto, Hervé, szerk
1
Petre, Luigia (1974-), szerk
1
Romanovsky, Alexander, szerk
1
Rozier, Kristin Yvonne, szerk
1
Sagonas, Konstantinos, szerk
1
Scarcello, Francesco., szerk
1
Semini, Laura, szerk
1
többet ...