mtmt
The Hungarian Scientific Bibliography
XML
JSON
Public search
Magyarul
Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC '22
Anon, A [ed.]
English Conference proceedings (Book) Scientific
Published: ACM, New York City, United States of America
2022
Conference:
11th Latin-American Symposium on Dependable Computing, LADC 2022 2022-11-21 [Fortaleza, Brazil]
Identifiers
MTMT: 33575797
DOI:
10.1145/3569902
ISBN:
9781450397377
Chapters
Dobos-Kovács Mihály et al. Evaluation of SMT solvers in abstraction-based software model checking. (2022) In: Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC '22 pp. 109-116
Citation styles:
IEEE
ACM
APA
Chicago
Harvard
CSL
Copy
Print
2025-02-16 15:24
×
Export list as bibliography
Citation styles:
IEEE
ACM
APA
Chicago
Harvard
Print
Copy