1. Formal firewall conformance testing: an application of test and proof techniques. (27th August 2014) Authors: Brucker, Achim D.; Brügger, Lukas; Wolff, Burkhart Journal: Software testing, verification & reliability Issue: Volume 25:Number 1(2015:Jan.) Page Start: 34 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗