Samuel T. ChansonBooksProtocol Specification, Testing and Verification XIVWeb Content Delivery Web Information Systems Engineering and Internet TechnologieWeb content deliveryFormal Methods for Protocol Engineering and Distributed SystemsAuthor data: Open Library