George Spiropoulos

• Computer network protocols and protocol proving