Computers and the sociology of mathematical proof

  • Authors:

  • Donald MacKenzie

  • Affiliations:

  • -

  • Venue:
  • 3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
  • Year:
  • 1998

  • Mathematical Models of Computer Security

    FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures

Quantified Score

Hi-index 0.00

Visualization

Abstract