Declarative Network Verification (2009)

by A Wang, P Basu, B T Loo, O Sokolsky
Venue:In Proc. of the 11th International Symposium on Practical Aspects of Declarative Languages (PADL