1997
12 references published this year.
A logic of object-oriented programs
Martín Abadi and others (1997) · TAPSOFT '97: Theory and Practice of Software Development · Springer
Set theory for the working mathematician
Krzysztof Ciesielski (1997) · Cambridge University Press
The Sovereign Individual: Mastering the Transition to the Information Age
James Dale Davidson and others (1997) · Simon & Schuster
A Shorter Model Theory
Wilfrid Hodges (1997) · Cambridge University Press
The model checker SPIN
G. J. Holzmann (1997) · IEEE Transactions on Software Engineering · Institute of Electrical and Electronics Engineers (IEEE)
Limits of formal methods
Ralf Kneuper (1997) · Formal Aspects of Computing
The art of computer programming
Donald E. Knuth (1997) · Addison-Wesley
Formal methods: Promises and problems
Luqi and others (1997) · IEEE Software
Limit to the Bit-Rate Capacity of Electrical Interconnects from the Aspect Ratio of the System Architecture
D. A. B. Miller and others (1997) · Journal of Parallel and Distributed Computing · Academic Press
Investigating the influence of formal methods
S. L. Pfleeger and others (1997) · Computer · IEEE
Inconsistent Models of Arithmetic Part I: Finite Models
Graham Priest (1997) · Journal of Philosophical Logic · Springer
Introduction to the Theory of Computation
Michael Sipser (1997) · PWS Publishing Company