7 Library Special 4 University 3

5 Universitas PGRI Palembang 4 ZAIN Publications 2 DEFAULT

Puyang Concept Sacrificed and Demythosized 5 4 Cognizance Journal of Multidisciplinary Studies 2 DEFAULT

9 Other Info 9 Software 9 7 Journal Journal 4 EJournal 3

software verification 2 SV-COMP 2 concurrency 2 model checking 2 program verification 1 2LS more ... 1 C verification 1 Goblint 1 HOL 1 International Competition on Software Verification 1 Isabelle 1 abstract interpretation 1 cooperative verification 1 fairness 1 formal methods 1 k-induction 1 loop acceleration 1 program slicing 1 scheduling 1 sv-comp 1 symbiotic 1 symbolic execution 1 test generation 1 weak memory models less ...

1 Ali Shamakhi 1 Anna Řechtáčková 1 Anton Podkopaev 1 Apinis, Kalmer 1 Beyer, Dirk 1 Egor Namakonov more ... 1 Erhard, Julian 1 Frohn, Florian 1 Greenaway, David 1 Hossein Hojjat 1 Jakub Novák 1 Jan Strejček 1 Jonas Oberhauser 1 Lemberger, Thomas 1 Lim, Japheth 1 Marek Chalupa 1 Metzler, Patrick 1 Ori Lahav 1 Peter Schrammel 1 Philipp Rümmer 1 Saan, Simmo 1 Schwarz, Michael 1 Seidl, Helmut 1 Suri, Neeraj 1 Tomáš Jašek 1 Tomáš Vojnar 1 Veronika Šoková 1 Viktor Malík 1 Viktor Vafeiadis 1 Vogler, Ralf 1 Vojdani, Vesal 1 Weissenbacher, Georg less ...

5 eng

4 2020 3 2021 1 2014 1 2019