Reset Filters
LC: Q - Science

Author Results for Grumberg, Orna

Grumberg,Orna
SpringerLink (Online service)
(美)Edmund M. Clarke, Jr.，(美)Orna Grumberg，(美)Doron A. Peled著
(美)Edmund M.Clarke Jr.，(美)Orna Grumberg，(美)Doron A.Peled著
ETAPS 2007
see all »
Esparza,Javier
Francez,Nissim
Hauptmann,Benedikt
Huth,Michael
Huth,Michael,

1
Model checking /

Cover is for reference only
Main Authors: Clarke, Edmund M., Jr. Edmund Melson, 1945
Group Author: Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Published: The MIT Press,
Publication Dates: [2018]
Call Number: TP302.1/C597/2nd ed.
Book
Save to List
Saved in:
3
Dependable software systems engineering /

Cover is for reference only
Corporate Authors: NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems Marktoberdorf, Germany)
Group Author: Esparza, Javier (Editor); Grumberg, Orna (Editor); Sickert, Salomon (Editor)
Published: IOS Press,
Publication Dates: [2016]
Call Number: TP309-532/N864-2/2015
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —