Treffer 1 - 9 von 9 für Suche 'Alpuente, María', Suchdauer: 0,28s Treffer weiter einschränken
  1. 1
    Veröffentlicht 2013
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Veröffentlicht 1999
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Static analysis : 15th international symposium ; proceedings
    Veröffentlicht 2008
    Inhaltsverzeichnis
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Static analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16 - 18, 2008; proceedings
    Veröffentlicht 2008
    Cover
    Inhaltstext
    Inhaltsverzeichnis
    Verlagsangaben
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010; revised selected papers
    Veröffentlicht 2011
    Inhaltstext
    Cover
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Variant-Based Equational Anti-unification
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings
    Veröffentlicht 2009
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Veröffentlicht 2013
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Automated specification and verification of web systems : selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) ; special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) ; November 19, 2006, Paphos, Cyprus
    Veröffentlicht 2007
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: