Alexander Nadel, Aina Niemetz, editors, Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021. Volume 2908 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]
Conference: smt2021
@proceedings{smt-2021,
title = {Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021},
year = {2021},
url = {https://nbn-resolving.org/urn:nbn:de:0074-2908-7},
researchr = {https://researchr.org/publication/smt-2021},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021},
conference = {smt},
editor = {Alexander Nadel and Aina Niemetz},
volume = {2908},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}