Dies ist eine Übersichtsseite mit Metadaten zu dieser wissenschaftlichen Arbeit. Der vollständige Artikel ist beim Verlag verfügbar.
Z3: An Efficient SMT Solver
2008·6.170 Zitationen·Lecture notes in computer science
Volltext beim Verlag öffnen6.170
Zitationen
2
Autoren
2008
Jahr
Abstract
Für dieses Paper ist kein Abstract in der Datenbank hinterlegt.
Abstract beim Verlag einsehenÄhnliche Arbeiten
Autoren
Institutionen
Themen
Logic, programming, and type systemsFormal Methods in VerificationSecurity and Verification in Computing