A Formally Verified NAT Stack.

Solal Pirelli Arseniy Zaostrovnykh George Candea

Published in: KBNets@SIGCOMM (2018)

Keyphrases

natural language processing
database
real time
databases
neural network
training data
computer science
social media
general purpose