1995
11 references published this year.
Seven more myths of formal methods
J. P. Bowen and others (1995) · IEEE Software · IEEE
Formal methods reality check: industrial usage
D. Craigen and others (1995) · IEEE Transactions on Software Engineering · IEEE
Avoiding the Undefined by Underspecification
David Gries and others (1995) · Computer Science Today: Recent Trends and Developments · Springer
Medical Devices: The Therac-25
Nancy G. Leveson (1995) · Safeware: System Safety and Computers · Addison-Wesley
An attack on the Needham-Schroeder public-key authentication protocol
Gavin Lowe (1995) · Information Processing Letters · Elsevier
Lithography and the future of Moore's law
Gordon E. Moore (1995) · Proceedings of SPIE 2438: Advances in Resist Technology and Processing XII · SPIE
Inconsistent Mathematics
Chris Mortensen (1995) · Kluwer Academic Publishers
Python tutorial
Guido van Rossum and others (1995) · Centrum voor Wiskunde en Informatica
Remote Procedure Callback System and Method
Benn L. Schreiber and others (1995) · United States Patent and Trademark Office
First-Order Logic
Raymond M. Smullyan (1995) · Dover
Hitting the Memory Wall: Implications of the Obvious
Wm. A. Wulf and others (1995) · ACM SIGARCH Computer Architecture News · Association for Computing Machinery