Normal view MARC view
  • Grumberg, Orna

Grumberg, Orna (Personal Name)

Number of records used in: 6
Preferred form: Grumberg, Orna

Machine generated authority record.

Work cat.: (JGU)2123579: NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany) 192239, Formal logical methods for system security and correctness, c2008.

O.P. Jindal Global University, Sonepat-Narela Road, Sonepat, Haryana (India) - 131001

Send your feedback to glus@jgu.edu.in

Hosted, Implemented & Customized by: BestBookBuddies   |   Maintained by: Global Library