1994
7 references published this year.
The World-Wide Web
Tim Berners-Lee and others (1994) · Communications of the ACM · Association for Computing Machinery
The software crisis in the Netherlands
M. Boogaard and others (1994) · Serie Research Memoranda · Vrije Universiteit Amsterdam
FM8501: A Verified Microprocessor
Warren A. Hunt, Jr. (1994) · Springer Berlin Heidelberg
A behavioral notion of subtyping
Barbara H. Liskov and others (1994) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Real-Time Computing: A New Discipline of Computer Science and Engineering
Kang G. Shin and others (1994) · Proceedings of the IEEE
Reasoning about Infinite Computations
Moshe Y. Vardi and others (1994) · Information and Computation · Elsevier BV
Assessing the software crisis: Why information systems are beyond control
R.J. Veldwijk and others (1994) · Information Sciences · Elsevier