The Center for Internet and Society at Stanford Law School is a leader in the study of the law and policy around the Internet and other emerging technologies.

Abadi, Logical Account of NGSCB

By Stefan Bechtold on September 26, 2004 at 1:32 AM

Martín Abadi & Ted Wobber, A Logical Account of NGSCB, in: de Frutos-Escrig & Núñez (eds.), Formal Techniques for Networked and Distributed Systems (FORTE 2004), Lecture Notes in Computer Science 3235, Springer 2004, pp. 1-12.

Published in: Blog