Treffer 1 - 2 von 2 für Suche 'Creuse, Léo', Suchdauer: 0,28s Treffer weiter einschränken
  1. 1
    Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists

    Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists von Creuse, Léo, Dross, Claire, Garion, Christophe, Hugues, Jérôme, Huguet, Joffrey


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    SPARK by Example: an introduction to formal verification through the standard C++ library

    SPARK by Example: an introduction to formal verification through the standard C++ library von Creuse, Léo, Huguet, Joffrey, Garion, Christophe, Hugues, Jérôme

    Veröffentlicht in ACM SIGAda Ada Letters

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: