Symbolic Execution in Selfie -a first step - Archive ouverte HAL Accéder directement au contenu
Poster De Conférence Année : 2018

Symbolic Execution in Selfie -a first step

Clement Poncelet
Fichier principal
Vignette du fichier
Klee_poster.pdf (268.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01851706 , version 1 (30-07-2018)

Identifiants

  • HAL Id : hal-01851706 , version 1

Citer

Clement Poncelet, Christoph Kirsch. Symbolic Execution in Selfie -a first step. Klee Workshop 2018, Apr 2018, Londres, United Kingdom. ⟨hal-01851706⟩

Collections

TDS-MACS
69 Consultations
233 Téléchargements

Partager

Gmail Facebook X LinkedIn More