HACL2AllSeen Connector Software Architecture Proposal

Macek, O., Strnad, P., Kencl, L.

MACEK, O., P. STRNAD, and L. KENCL. HACL2AllSeen Connector Software Architecture Proposal. 2015.