Efficient SMT solving for bit vectors and the extensional theory of arrays
Gespeichert in:
Verfasser / Beitragende:
vorgelegt von Robert Brummayer
Ort, Verlag, Jahr:
Linz :
Trauner,
2010
Beschreibung:
142 S. : Ill.
Format:
Buch (Hochschulschrift)
Online Zugang: