1993
15 references published this year.
MOSFET Models for VLSI Circuit Simulation: Theory and Practice
Narain D. Arora (1993) · Springer
Formal methods in safety-critical standards
Jonathan P. Bowen (1993) · Proceedings 1993 Software Engineering Standards Symposium · IEEE
Program verification: Fundamental issues in computer science
Timothy R. Colburn and others (1993) · Springer
Social Processes and Proofs of Theorems and Programs
R. A. De Millo and others (1993) · Program Verification: Fundamental Issues in Computer Science · Springer
Program Verification: The Very Idea
James H. Fetzer (1993) · Program Verification: Fundamental Issues in Computer Science · Springer
Assigning meanings to programs
Robert W. Floyd (1993) · Program Verification: Fundamental Issues in Computer Science · Springer
The computer as Von Neumann planned it
Michael D. Godfrey and others (1993) · IEEE Annals of the History of Computing
The Death of Proof
John Horgan (1993) · Scientific American · Springer Nature
A denotational approach for type-checking in object-oriented programming languages
Roberto Ierusalimschy (1993) · Computer Languages · Elsevier
Berkeley's philosophy of mathematics
Douglas M. Jesseph (1993) · University of Chicago Press
A History of CLU
Barbara Liskov (1993) · MIT Laboratory for Computer Science
Higher order logic and hardware verification
Tom F. Melham (1993) · Cambridge University Press
Formal Methods and the Certification of Critical Systems
John Rushby (1993) · SRI International, Computer Science Laboratory
Limits of Correctness in Computers
Brian Cantwell Smith (1993) · Program Verification: Fundamental Issues in Computer Science · Springer
The formal semantics of programming languages: an introduction
Glynn Winskel (1993) · MIT Press