1986
6 references published this year.
Compilers: Principles, Techniques, and Tools
Alfred V. Aho and others (1986) · Addison-Wesley
Fixed-point extensions of first-order logic
Yuri Gurevich and others (1986) · Annals of Pure and Applied Logic · Elsevier
An experimental evaluation of the assumption of independence in multiversion programming
John C. Knight and others (1986) · IEEE Transactions on Software Engineering · IEEE
A review of fault-tolerant techniques for the enhancement of integrated circuit yield
W. R. Moore (1986) · Proceedings of the IEEE
A formal approach to hardware analysis
Niklas Gerard Traub (1986)
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)
Moshe Y. Vardi and others (1986) · Proceedings of the First Annual Symposium on Logic in Computer Science