A formally verified NAT stack.

Solal Pirelli Arseniy Zaostrovnykh George Candea

Published in: Comput. Commun. Rev. (2018)

Keyphrases

information systems
metadata
multiscale
object recognition
query language
software engineering
low cost
multi dimensional
online learning