1989
6 references published this year.
Chemistry's Tongue
Peter Atkins (1989) · Interdisciplinary Science Reviews · Taylor & Francis
Verification of Combinational Logic in Nuprl
David A. Basin and others (1989) · Cornell University
The notion of proof in hardware verification
Avra Cohn (1989) · Journal of Automated Reasoning · Springer Science and Business Media LLC
Why Functional Programming Matters
J. Hughes (1989) · The Computer Journal · Oxford University Press (OUP)
A Formal Model for Software Project Management
Lung-Chun Liu and others (1989) · IEEE Transactions on Software Engineering
What is a Formal Method?
Jeannette M. Wing (1989) · School of Computer Science, Carnegie Mellon University