Search

Your search keyword '"Beyer, Dirk"' showing total 758 results
Start Over Author "Beyer, Dirk"

Refine your results

more »

more »

more »

more »
758 results on '"Beyer, Dirk"'

1. Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)

Author

Baier, Daniel, Beyer, Dirk, Chien, Po-Chun, Jakobs, Marie-Christine, Jankola, Marek, Kettl, Matthias, Lee, Nian-Ze, Lemberger, Thomas, Lingsch-Rosenfeld, Marian, Wachowitz, Henrik, and Wendler, Philipp

Subjects
Computer Science - Software Engineering, Computer Science - Programming Languages, D.2.4, F.3.1, D.3.1, F.4.3
Abstract

This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides many abstract domains, such as BDDs, explicit values, intervals, memory graphs, and predicates, and many program-analysis and model-checking algorithms, such as abstract interpretation, bounded model checking, Impact, interpolation-based model checking, k -induction, PDR, predicate abstraction, and symbolic execution. This tutorial presents basic use cases for CPAchecker in formal software verification, focusing on its main verification techniques with their strengths and weaknesses. It also shows further use cases of CPAchecker for test-case generation and witness-based result validation. The envisioned readers are assumed to possess a background in automatic formal verification and program analysis, but prior knowledge of CPAchecker is not required. This tutorial and user guide is based on CPAchecker in version 3.0. This user guide's latest version and other documentation are available at https://cpachecker.sosy-lab.org/doc.php., Comment: 39 pages, 17 figures, 6 tables

Published
2024

2. MoXIchecker: An Extensible Model Checker for MoXI

Author

Ates, Salih, Beyer, Dirk, Chien, Po-Chun, and Lee, Nian-Ze

Subjects
Computer Science - Software Engineering, Computer Science - Programming Languages, D.2.4, F.3.1, D.3.1, F.4.3
Abstract

MoXI is a new intermediate verification language introduced in 2024 to promote the standardization and open-source implementations for symbolic model checking by extending the SMT-LIB 2 language with constructs to define state-transition systems. The tool suite of MoXI provides a translator from MoXI to Btor2, which is a lower-level intermediate language for hardware verification, and a translation-based model checker, which invokes mature hardware model checkers for Btor2 to analyze the translated verification tasks. The extensibility of such a translation-based model checker is restricted because more complex theories, such as integer or real arithmetics, cannot be precisely expressed with bit-vectors of fixed lengths in Btor2. We present MoXIchecker, the first model checker that solves MoXI verification tasks directly. Instead of translating MoXI to lower-level languages, MoXIchecker uses the solver-agnostic library PySMT for SMT solvers as backend for its verification algorithms. MoXIchecker is extensible because it accommodates verification tasks involving more complex theories, not limited by lower-level languages, facilitates the implementation of new algorithms, and is solver-agnostic by using the API of PySMT. In our evaluation, MoXIchecker uniquely solved tasks that use integer or real arithmetics, and achieved a comparable performance against the translation-based model checker from the MoXI tool suite., Comment: 13 pages, 6 figures, 2 tables

Published
2024

3. Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)

Author

Beyer, Dirk, Chien, Po-Chun, and Lee, Nian-Ze

Subjects
Computer Science - Software Engineering
Abstract

Software model checking is a challenging problem, and generating relevant invariants is a key factor in proving the safety properties of a program. Program invariants can be obtained by various approaches, including lightweight procedures based on data-flow analysis and intensive techniques using Craig interpolation. Although data-flow analysis runs efficiently, it often produces invariants that are too weak to prove the properties. By contrast, interpolation-based approaches build strong invariants from interpolants, but they might not scale well due to expensive interpolation procedures. Invariants can also be injected into model-checking algorithms to assist the analysis. Invariant injection has been studied for many well-known approaches, including k-induction, predicate abstraction, and symbolic execution. We propose an augmented interpolation-based verification algorithm that injects external invariants into interpolation-based model checking (McMillan, 2003), a hardware model-checking algorithm recently adopted for software verification. The auxiliary invariants help prune unreachable states in Craig interpolants and confine the analysis to the reachable parts of a program. We implemented the proposed technique in the verification framework CPAchecker and evaluated it against mature SMT-based methods in CPAchecker as well as other state-of-the-art software verifiers. We found that injecting invariants reduces the number of interpolation queries needed to prove safety properties and improves the run-time efficiency. Consequently, the proposed invariant-injection approach verified difficult tasks that none of its plain version (i.e., without invariants), the invariant generator, or any compared tools could solve.

Published
2024

4. Fault Localization on Verification Witnesses

Author

Beyer, Dirk, Kettl, Matthias, Lemberger, Thomas, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Neele, Thomas, editor, and Wijs, Anton, editor

Published
2025
Full Text
View/download PDF

5. Software Verification Witnesses 2.0

Author

Ayaziová, Paulína, Beyer, Dirk, Lingsch-Rosenfeld, Marian, Spiessl, Martin, Strejček, Jan, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Neele, Thomas, editor, and Wijs, Anton, editor

Published
2025
Full Text
View/download PDF

10. Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification

Author

Beyer, Dirk, Lee, Nian-Ze, and Wendler, Philipp

Subjects
Computer Science - Software Engineering, Computer Science - Programming Languages, D.2.4, F.3.1
Abstract

The article "Interpolation and SAT-Based Model Checking" (McMillan, 2003) describes a formal-verification algorithm, which was originally devised to verify safety properties of finite-state transition systems. It derives interpolants from unsatisfiable BMC queries and collects them to construct an overapproximation of the set of reachable states. Although 20 years old, the algorithm is still state-of-the-art in hardware model checking. Unlike other formal-verification algorithms, such as k-induction or PDR, which have been extended to handle infinite-state systems and investigated for program analysis, McMillan's interpolation-based model-checking algorithm from 2003 has not been used to verify programs so far. Our contribution is to close this significant, two decades old gap in knowledge by adopting the algorithm to software verification. We implemented it in the verification framework CPAchecker and evaluated the implementation against other state-of-the-art software-verification techniques on the largest publicly available benchmark suite of C safety-verification tasks. The evaluation demonstrates that McMillan's interpolation-based model-checking algorithm from 2003 is competitive among other algorithms in terms of both the number of solved verification tasks and the run-time efficiency. Our results are important for the area of software verification, because researchers and developers now have one more approach to choose from., Comment: 29 pages, 8 figures, 2 tables

Published
2022

11. Towards a Benchmark Set for Program Repair Based on Partial Fixes

Author

Beyer, Dirk, Grunske, Lars, Lemberger, Thomas, and Tang, Minxing

Subjects
Computer Science - Software Engineering, Computer Science - Programming Languages, D.2.4, D.2.5
Abstract

Software bugs significantly contribute to software cost and increase the risk of system malfunctioning. In recent years, many automated program-repair approaches have been proposed to automatically fix undesired program behavior. Despite of their great success, specific problems such as fixing bugs with partial fixes still remain unresolved. A partial fix to a known software issue is a programmer's failed attempt to fix the issue the first time. Even though it fails, this fix attempt still conveys important information such as the suspicious software region and the bug type. In this work we do not propose an approach for program repair with partial fixes, but instead answer a preliminary question: Do partial fixes occur often enough, in general, to be relevant for the research area of automated program repair? We crawled 1500 open-source C repositories on GitHub for partial fixes. The result is a benchmark set of 2204 benchmark tasks for automated program repair based on partial fixes. The benchmark set is available open source and open to further contributions and improvement., Comment: 9 pages, 5 figures

Published
2021

12. Software Testing: 5th Comparative Evaluation: Test-Comp 2023

Author

Beyer, Dirk, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lambers, Leen, editor, and Uchitel, Sebastián, editor

Published
2023
Full Text
View/download PDF

15. Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art

Author

Beyer, Dirk and Dangl, Matthias

Subjects
Computer Science - Software Engineering
Abstract

Property-directed reachability (PDR) is a SAT/SMT-based reachability algorithm that incrementally constructs inductive invariants. After it was successfully applied to hardware model checking, several adaptations to software model checking have been proposed. We contribute a replicable and thorough comparative evaluation of the state of the art: We (1) implemented a standalone PDR algorithm and, as improvement, a PDR-based auxiliary-invariant generator for k-induction, and (2) performed an experimental study on the largest publicly available benchmark set of C verification tasks, in which we explore the effectiveness and efficiency of software verification with PDR. The main contribution of our work is to establish a reproducible baseline for ongoing research in the area by providing a well-engineered reference implementation and an experimental evaluation of the existing techniques., Comment: 35 pages, 8 tables, 13 figures, supplementary web page: https://www.sosy-lab.org/research/pdr-compare/, replication package: https://doi.org/10.5281/zenodo.3370037

Published
2019

16. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework

Author

Beyer, Dirk and Wehrheim, Heike

Subjects
Computer Science - Software Engineering, Computer Science - Programming Languages
Abstract

The goal of cooperative verification is to combine verification approaches in such a way that they work together to verify a system model. In particular, cooperative verifiers provide exchangeable information (verification artifacts) to other verifiers or consume such information from other verifiers with the goal of increasing the overall effectiveness and efficiency of the verification process. This paper first gives an overview over approaches for leveraging strengths of different techniques, algorithms, and tools in order to increase the power and abilities of the state of the art in software verification. Second, we specifically outline cooperative verification approaches and discuss their employed verification artifacts. We formalize all artifacts in a uniform way, thereby fixing their semantics and providing verifiers with a precise meaning of the exchanged information., Comment: 22 pages, 12 figures

Published
2019

23. Software Model Checking: 20 Years and Beyond

Author

Beyer, Dirk, Podelski, Andreas, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Raskin, Jean-François, editor, Chatterjee, Krishnendu, editor, Doyen, Laurent, editor, and Majumdar, Rupak, editor

Published
2022
Full Text
View/download PDF

25. Cooperation Between Automatic and Interactive Software Verifiers

Author

Beyer, Dirk, Spiessl, Martin, Umbricht, Sven, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Schlingloff, Bernd-Holger, editor, and Chai, Ming, editor

Published
2022
Full Text
View/download PDF

26. A Unifying Approach for Control-Flow-Based Loop Abstraction

Author

Beyer, Dirk, Lingsch Rosenfeld, Marian, Spiessl, Martin, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Schlingloff, Bernd-Holger, editor, and Chai, Ming, editor

Published
2022
Full Text
View/download PDF

27. Progress on Software Verification: SV-COMP 2022

Author

Beyer, Dirk, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Fisman, Dana, editor, and Rosu, Grigore, editor

Published
2022
Full Text
View/download PDF

28. The Static Analyzer Frama-C in SV-COMP (Competition Contribution)

Author

Beyer, Dirk, Spiessl, Martin, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Fisman, Dana, editor, and Rosu, Grigore, editor

Published
2022
Full Text
View/download PDF

29. CoVeriTeam: On-Demand Composition of Cooperative Verification Systems

Author

Beyer, Dirk, Kanav, Sudeep, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Fisman, Dana, editor, and Rosu, Grigore, editor

Published
2022
Full Text
View/download PDF

30. Advances in Automatic Software Testing: Test-Comp 2022

Author

Beyer, Dirk, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Johnsen, Einar Broch, editor, and Wimmer, Manuel, editor

Published
2022
Full Text
View/download PDF

31. Construction of Verifier Combinations Based on Off-the-Shelf Verifiers

Author

Beyer, Dirk, Kanav, Sudeep, Richter, Cedric, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Johnsen, Einar Broch, editor, and Wimmer, Manuel, editor

Published
2022
Full Text
View/download PDF

32. A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker

Author

Beyer, Dirk and Friedberger, Karlheinz

Subjects
Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Computer Science - Software Engineering
Abstract

Verifying multi-threaded programs is becoming more and more important, because of the strong trend to increase the number of processing units per CPU socket. We introduce a new configurable program analysis for verifying multi-threaded programs with a bounded number of threads. We present a simple and yet efficient implementation as component of the existing program-verification framework CPAchecker. While CPAchecker is already competitive on a large benchmark set of sequential verification tasks, our extension enhances the overall applicability of the framework. Our implementation of handling multiple threads is orthogonal to the abstract domain of the data-flow analysis, and thus, can be combined with several existing analyses in CPAchecker, like value analysis, interval analysis, and BDD analysis. The new analysis is modular and can be used, for example, to verify reachability properties as well as to detect deadlocks in the program. This paper includes an evaluation of the benefit of some optimization steps (e.g., changing the iteration order of the reachability algorithm or applying partial-order reduction) as well as the comparison with other state-of-the-art tools for verifying multi-threaded programs., Comment: In Proceedings MEMICS 2016, arXiv:1612.04037

Published
2016
Full Text
View/download PDF

33. PJBDD: A BDD Library for Java and Multi-Threading

Author

Beyer, Dirk, Friedberger, Karlheinz, Holzner, Stephan, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Hou, Zhe, editor, and Ganesh, Vijay, editor

Published
2021
Full Text
View/download PDF

34. Software Verification Tools (Track Introduction)

Author

Schordan, Markus, Beyer, Dirk, Bojanova, Irena, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Margaria, Tiziana, editor

Published
2021
Full Text
View/download PDF

35. JavaSMT 3: Interacting with SMT Solvers in Java

Author

Baier, Daniel, Beyer, Dirk, Friedberger, Karlheinz, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Silva, Alexandra, editor, and Leino, K. Rustan M., editor

Published
2021
Full Text
View/download PDF

36. Software Verification: 10th Comparative Evaluation (SV-COMP 2021)

Author

Beyer, Dirk, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Groote, Jan Friso, editor, and Larsen, Kim Guldstrand, editor

Published
2021
Full Text
View/download PDF

37. Status Report on Software Testing: Test-Comp 2021

Author

Beyer, Dirk, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Guerra, Esther, editor, and Stoelinga, Mariëlle, editor

Published
2021
Full Text
View/download PDF

40. Automatic Verification of C and Java Programs: SV-COMP 2019

Author

Beyer, Dirk, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Beyer, Dirk, editor, Huisman, Marieke, editor, and Kordon, Fabrice, editor

Published
2019
Full Text
View/download PDF

41. TOOLympics 2019: An Overview of Competitions in Formal Methods

Author

Bartocci, Ezio, Beyer, Dirk, Black, Paul E., Fedyukovich, Grigory, Garavel, Hubert, Hartmanns, Arnd, Huisman, Marieke, Kordon, Fabrice, Nagele, Julian, Sighireanu, Mihaela, Steffen, Bernhard, Suda, Martin, Sutcliffe, Geoff, Weber, Tjark, Yamada, Akihisa, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Beyer, Dirk, editor, Huisman, Marieke, editor, and Kordon, Fabrice, editor

Published
2019
Full Text
View/download PDF

42. International Competition on Software Testing (Test-Comp)

Author

Beyer, Dirk, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Beyer, Dirk, editor, Huisman, Marieke, editor, and Kordon, Fabrice, editor

Published
2019
Full Text
View/download PDF

44. Violation Witnesses and Result Validation for Multi-Threaded Programs : Implementation and Evaluation with CPAchecker

Author

Beyer, Dirk, Friedberger, Karlheinz, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Margaria, Tiziana, editor

Published
2020
Full Text
View/download PDF

45. An Interface Theory for Program Verification

Author

Beyer, Dirk, Kanav, Sudeep, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Margaria, Tiziana, editor

Published
2020
Full Text
View/download PDF

47. FRed: Conditional Model Checking via Reducers and Folders

Author

Beyer, Dirk, Jakobs, Marie-Christine, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, de Boer, Frank, editor, and Cerone, Antonio, editor

Published
2020
Full Text
View/download PDF

48. Difference Verification with Conditions

Author

Beyer, Dirk, Jakobs, Marie-Christine, Lemberger, Thomas, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, de Boer, Frank, editor, and Cerone, Antonio, editor

Published
2020
Full Text
View/download PDF

49. MetaVal: Witness Validation via Verification

Author

Beyer, Dirk, Spiessl, Martin, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lahiri, Shuvendu K., editor, and Wang, Chao, editor

Published
2020
Full Text
View/download PDF

50. Advances in Automatic Software Verification: SV-COMP 2020

Author

Beyer, Dirk, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Biere, Armin, editor, and Parker, David, editor

Published
2020
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results