Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC '22

Anon, A [szerk.]

Angol nyelvű Konferenciakötet (Könyv) Tudományos

Megjelent: Association for Computing Machinery (ACM), New York, Amerikai Egyesült Államok 2022

Konferencia: 11th Latin-American Symposium on Dependable Computing, LADC 2022 2022-11-21 [Fortaleza, Brazília]

Azonosítók

MTMT: 33575797
DOI: 10.1145/3569902
ISBN: 9781450397377

Fejezetek

Dobos-Kovács Mihály et al. Evaluation of SMT solvers in abstraction-based software model checking. (2022) Megjelent: Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC '22 pp. 109-116

Hivatkozás stílusok: IEEE ACM APA Chicago Harvard CSLMásolásNyomtatás

2025-01-26 09:24