by
International Haifa Verification Conference (3rd : 2007 : Haifa, Israel)
Author
International Haifa Verification Conference (3rd : 2007 : Haifa, Israel), Yorav, Karen
Format:
Call Number
QA76.76.V47 I575 2008
Publisher
Springer-Verlag,
Publication Date
2008
ISBN
9783540779643
Holds:
Copies:
by
International Haifa Verification Conference (2nd : 2006 : Haifa, Israel)
Author
International Haifa Verification Conference (2nd : 2006 : Haifa, Israel), Bin, Eyal, Ziv, Avi, Ur, Shmuel
Format:
Call Number
QA76.76.V47 I57 2006
Publisher
Springer-Verlag,
Publication Date
2007
ISBN
9783540708889
Holds:
Copies:
by
MoChArt IV (2007 : Riva, Italy)
Author
MoChArt IV (2007 : Riva, Italy), Edelkamp, Stefan, Lomuscio, Alessio
Format:
Call Number
QA76.76.V47 M62 2007
Publisher
Springer,
Publication Date
2007
ISBN
9783540741275
Holds:
Copies:
by
International SPIN Workshop (14th : 2007 : Berlin, Germany)
Author
International SPIN Workshop (14th : 2007 : Berlin, Germany), Bosnacki, Dragan, 1963-, Edelkamp, Stefan
Format:
Call Number
QA76.76.V47 I574 2007
Publisher
Springer-Verlag,
Publication Date
2007
ISBN
9783540733690
Holds:
Copies:
by
CAV Conference (19th : 2007 : Berlin, Germany)
Author
CAV Conference (19th : 2007 : Berlin, Germany), Damm, Werner, Hermanns, Holger
Format:
Call Number
TA174 C35 2007
Publisher
Springer,
Publication Date
2007
ISBN
9783540733676
Holds:
Copies: