Views: 0
Language: UNKNOWN
Views: 14
Language: English
Haifa Verification Conference – Program
Haifa Verification Conference – Program
October 20, 2009
8:30 9:00 9:30 Registration Opening Remarks 14:30 Paper Session I
Yoav Holander, Cadence ... more>>
Tags: haifa israel,
model checking,
international conference,
international workshop,
ibm haifa labs,
ibm research,
software testing,
software engineering,
ibm haifa research lab,
software verification,
formal methods,
university of haifa,
formal verification,
international conference on software eng...,
lecture notes in computer science
Views: 0
Language: English
Views: 1
Language: English
Haifa Bibliography - List of Records
Haifa Bibliography - List of Records
University of Haifa Library Catalog
Help Hebrew
Library Card Interlibrary Loan Quit
●
Modify
●
... more>>
Tags: new york,
university of haifa,
the mediterranean,
the arab,
mount carmel,
tel aviv,
polish state archives,
jewish genealogy,
electronic health records,
vital records,
jewish community,
the holocaust,
no. 2,
main menu,
middle east
Views: 0
Language: English
Views: 5
Language: English
Views: 1
Language: English
Views: 54
Language: English
Views: 7
Language: English
Views: 0
Language: ENGLISH
Views: 4
Language: English