Treffer 1 - 7 von 7 für Suche 'Namjoshi, Kedar S.', Suchdauer: 0,28s Treffer weiter einschränken
  1. 1
    Synthesis of Compact Strategies for Coordination Programs
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A Self-certifying Compilation Framework for WebAssembly
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Witnessing Secure Compilation
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Hardware and software: verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers
    Veröffentlicht 2011
    Inhaltstext
    Inhaltsverzeichnis
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings
    Veröffentlicht 2006
    Inhaltsverzeichnis
    Cover
    Inhaltstext
    Inhaltstext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Automated technology for verification and analysis : 5th international symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007 ; proceedings
    Veröffentlicht 2007
    Inhaltsverzeichnis
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Static Analysis : 28th International Symposium, SAS 2021,Chicago, IL, USA, October 17–19, 2021, proceedings
    Veröffentlicht 2021
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: