Nadel, Alexander
[HerausgeberIn];
Niemetz, Aina
[HerausgeberIn]
;
International Workshop on Satisfiability Modulo Theories 19. 2021 Online
Satisfiability Modulo Theories - 19th international workshop, SMT 2021
: online (initially located in Los Angeles, USA), affiliated with CAV 2021, July 18-19, 2021 : proceedings
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Book;
Konferenzbericht
Titel:
Satisfiability Modulo Theories - 19th international workshop, SMT 2021
:
online (initially located in Los Angeles, USA), affiliated with CAV 2021, July 18-19, 2021 : proceedings
Weitere Titel:
Abweichender Titel: SMT 2021: Satisfiability Modulo Theories 2021
Abweichender Titel: SMT'21: 19th International Workshop on Satisfiability Modulo Theories, July 18-19, 2021, online
Anmerkungen:
"Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification (CAV 2021)" - Einstiegsseite der Ressource
Literaturangaben