2002
11 references published this year.
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Peter B. Andrews (2002)
The telephone network of the 1960s
Frederick T. Andrews (2002) · IEEE Communications Magazine
Computability and logic
George S. Boolos et al. (2002)
Semantic and Logical Properties of Stateful Programming
Cristiano Calcagno (2002)
A Taxonomy of Reactive Systems
Adriaan de Groot et al. (2002)
Trust and vulnerability in open source software
Scott A. Hissam et al. (2002) · IEEE Proceedings-Software
Understanding BGP misconfiguration
Ratul Mahajan et al. (2002) · ACM SIGCOMM Computer Communication Review
Types and Programming Languages
Benjamin C. Pierce (2002)
The Semantics and Proof Theory of the Logic of Bunched Implications
David J. Pym (2002)
Separation logic: a logic for shared mutable data structures
John C. Reynolds (2002) · Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
Advanced Semiconductor Memories: Architectures, Designs, and Applications
Ashok K. Sharma (2002)