Toward a Rigorous Data Type Model for HTTP

HotOS(2001), pp. 176

Abstract

Research Areas