Formal Methods for Protocol Engineering and Distributed SystemsJianping Jianping Wu, Samuel T. Chanson, Quiang Quiang Gao · First published 2013Open the Tome
Protocol Specification, Testing and Verification XIVS. T. Vuong, Samuel T. Chanson · First published 2013Open the Tome
Web Content Delivery Web Information Systems Engineering and Internet TechnologieSamuel T. Chanson · First published 2010Open the Tome
