Efficient SMT solving for bit vectors and the extensional theory of arrays

Verfasser / Beitragende:
vorgelegt von Robert Brummayer
Ort, Verlag, Jahr:
Linz : Trauner, 2010
Beschreibung:
142 S. : Ill.
Format:
Buch (Hochschulschrift)
ID: 170962482