1990
6 references published this year.
Model theory
Chen Chung Chang et al. (1990)
Seven myths of formal methods
Anthony Hall (1990) · IEEE software
DARPA Technical Accomplishments. An Historical Review of Selected DARPA Projects. Volume 1
Sidney G. Reed et al. (1990)
Defense Data Network Security Architecture
Robert W. Shirey (1990) · ACM SIGCOMM Computer Communication Review
Referential transparency, definiteness and unfoldability
Harald Søndergaard et al. (1990) · Acta Informatica
A specifier's introduction to formal methods
J. M. Wing (1990) · Computer