1997
6 references published this year.
A logic of object-oriented programs
Martín Abadi et al. (1997) · TAPSOFT '97: Theory and Practice of Software Development
Set theory for the working mathematician
Krzysztof Ciesielski (1997)
Formal methods: Promises and problems
Joseph A. Goguen et al. (1997) · IEEE Software
A Shorter Model Theory
Wilfrid Hodges (1997)
Limits of formal methods
Ralf Kneuper (1997) · Formal Aspects of Computing
The art of computer programming
Donald E. Knuth (1997)