Testing Noninterference, Quickly.

Catalin Hritcu Leonidas Lampropoulos Antal Spector-Zabusky Arthur Azevedo de Amorim Maxime Dénès John Hughes Benjamin C. Pierce Dimitrios Vytiniotis

Published in: CoRR (2014)

Keyphrases