Szerző
SpringerLink (Online service), közreadó testület
12
Beyer, Dirk, szerk
2
European Joint Conferences on Theory and Practice of Software22.(2019) (Prague, Czech Republic)
2
International Conference on Tools and Algorithms for the Construction and Analysis of Systems25.(2019) (Prague, Czech Republic)
2
Bartocci, Ezio, szerk
1
Biondi, Fabrizio, szerk
1
Cerrito, Serenella, szerk
1
Cuzzocrea, Alfredo, szerk
1
Finkbeiner, Bernd, szerk
1
Fontaine, Pascal, szerk
1
Fullér Róbert, szerk
1
Giove, Silvio, szerk
1
Given-Wilson, Thomas, szerk
1
Hutton, Graham (1968-), szerk
1
International Conference on Automated Deduction27.(2019) (Natal, Brazil)
1
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods28.(2019) (London)
1
International Conference on Flexible Query Answering Systems13.(2019) (Amantea, Italy)
1
International Conference on Mathematics of Program Construction13.(2019) (Porto, Portugal)
1
International Conference on Tests and Proofs13.(2019) (Porto, Portugal)
1
International Symposium on Model Checking Software26.(2019) (Beijing, China)
1
International Workshop on Fuzzy Logic and Applications12.(2018) (Genoa, Italy)
1
International Workshop on Runtime Verification19.(2019) (Porto)
1
Keller, Chantal, szerk
1
Legay, Axel, szerk
1
Li, Zheng, szerk
1
Mariani, Leonardo, szerk
1
Masulli, Francesco, szerk
1
National Software Application Conference16.(2017) (Harbin, China)
1
National Software Application Conference17.(2018) (Shenzhen, China)
1
Popescu, Andrei, szerk
1
Vojnar, Tomáš, szerk
1
Zhang, Lijun, szerk
1