Testing noninterference, quickly
Artikel i vetenskaplig tidskrift, 2013
Författare
C. Hritcu
University of Pennsylvania
John Hughes
Chalmers, Data- och informationsteknik, Programvaruteknik
Benjamin C. Pierce
University of Pennsylvania
A. Spector-Zabusky
University of Pennsylvania
D. Vytiniotis
Microsoft Research
A.A.D. Amorim
University of Pennsylvania
L. Lampropoulos
University of Pennsylvania
ACM SIGPLAN Notices
1523-2867 (ISSN)
Vol. 48 9 455-468Ämneskategorier
Programvaruteknik