Reflections in the Experimental Evaluation of a Binary-level Symbolic Analyzer for Spectre

Bibliographische Detailangaben

Hauptverfasser:	Daniel, Lesly-Ann, Bardin, Sébastien, Rezk, Tamara
Format:	Tagungsbericht
Sprache:	eng
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!