1990
10 references published this year.
A logic of authentication
Michael Burrows and others (1990) · ACM Transactions on Computer Systems · Association for Computing Machinery
Model theory
Chen Chung Chang and others (1990) · Elsevier
In Memoriam: J. C. R. Licklider 1915-1990
Digital Equipment Corporation Systems Research Center (1990) · Digital Equipment Corporation Systems Research Center
Entropy and Information Theory
Robert M. Gray (1990) · Springer New York
Seven myths of formal methods
Anthony Hall (1990) · IEEE Software
Multi-level verification of microprocessor-based systems
Jeffrey J. Joyce (1990) · University of Cambridge Computer Laboratory
DARPA Technical Accomplishments. An Historical Review of Selected DARPA Projects. Volume 1
Sidney G. Reed and others (1990) · Institute for Defense Analyses
Defense Data Network Security Architecture
Robert W. Shirey (1990) · ACM SIGCOMM Computer Communication Review
Referential transparency, definiteness and unfoldability
Harald Søndergaard and others (1990) · Acta Informatica · Springer
A specifier's introduction to formal methods
Jeannette M. Wing (1990) · Computer · IEEE Computer Society