Treffer 1 - 3 von 3 für Suche 'Gomes, Victor BF', Suchdauer: 0,32s Treffer weiter einschränken
  1. 1
    Building program construction and verification tools from algebraic principles

    Building program construction and verification tools from algebraic principles von Armstrong, Alasdair, Gomes, Victor B. F., Struth, Georg

    Veröffentlicht in Formal aspects of computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Algebras for Program Correctness in Isabelle/HOL

    Algebras for Program Correctness in Isabelle/HOL von Armstrong, Alasdair, Gomes, Victor B. F., Struth, Georg


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Exploring C semantics and pointer provenance

    Exploring C semantics and pointer provenance von Memarian, Kayvan, Gomes, Victor BF, Davis, Brooks, Kell, Stephen, Richardson, Alexander, Watson, Robert NM, Sewell, Peter

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: