Treffer 1 - 4 von 4 für Suche 'Filliâtre, Jean-Christophe', Suchdauer: 0,19s Treffer weiter einschränken
  1. 1
    Optimizing Prestate Copies in Runtime Verification of Function Postconditions
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Ortac: Runtime Assertion Checking for OCaml (Tool Paper)
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Abstraction and Genericity in Why3
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004 ; revised selected papers
    Veröffentlicht 2006
    Inhaltsverzeichnis
    Inhaltstext
    Verlagsangaben
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: