1991

4 references published this year.

DARPA Technical Accomplishments. Volume 2. An Historical Review of Selected DARPA Projects

Richard H. Van Atta et al. (1991)

Reasoning about Dynamically Evolving Process Structures; a proof theory for the parallel object-oriented language pool

Frank S. de Boer (1991)

Foundations without foundationalism: A case for second-order logic

Stewart Shapiro (1991)

Formal methods in the development of safety critical software systems

Lloyd G. Williams (1991) · Lawrence Livermore National Lab.(LLNL), Livermore, CA (United States)