How to Build Static Checking Systems Using Orders of Magnitude Less Code

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Operating systems review 2016-03, Vol.50 (2), p.143-157
Hauptverfasser:	Brown, Fraser, Nötzli, Andres, Engler, Dawson
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!