A verified informationflow architecture (0)

by AZEVEDO DE AMORIM, A COLLINS, N DEHON, A DEMANGE, D HRIŢCU, C PICHARDIE, D PIERCE, B C, R POLLACK, A TOLMACH
Venue:In ACM SIGPLAN Notices (2014