Treffer 1 - 2 von 2 für Suche 'Nijjar, Jaideep', Suchdauer: 0,20s Treffer weiter einschränken
  1. 1
    Data Model Property Inference, Verification, and Repair for Web Applications

    Data Model Property Inference, Verification, and Repair for Web Applications von Nijjar, Jaideep, Bocić, Ivan, Bultan, Tevfik


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Unbounded data model verification using SMT solvers

    Unbounded data model verification using SMT solvers von Nijjar, Jaideep, Bultan, Tevfik

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: