Declarative network verification (2009)

by A WANG, P BASU, B T LOO, O SOKOLSKY
Venue:In PADL