Results
|
|
1.
|
|
|
|
2.
|
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi. by Series: Lecture notes in computer science ; 3855.
Edition: 1st ed.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 2006
In:
OhioLINK electronic book center
In:
SpringerLink
Availability: Items available for loan: e-Library (1).
|
|
|
3.
|
Hardware and software, verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers / Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.). by Series: Lecture notes in computer science ; 6405. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2011
Availability: Items available for loan: e-Library (1).
|
|
|
4.
|
Static analysis : 28th international symposium, SAS 2021, Chicago, IL, USA, proceedings / Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi (eds.). by Series: Lecture notes in computer science ; 12913. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Cham, Switzerland : Springer, 2021
Availability: Items available for loan: e-Library (1).
|