Synapse
⌘+K
Synapse
PulseExploreClubsResearchersJournals
Instagram
HomeClubsExplore
May 1, 1979Communications of the ACMOpen Access

Social processes and proofs of theorems and programs

View Full Paper
Ask AI
Bookmark
Share

Authors

RMRichard A. De MilloGeorgia Institute of TechnologyRLRichard J. LiptonGeorgia Institute of TechnologyAPAlan J. PerlisSoftware Engineering Institute

Discussion

Loading...

Member takes

Implication

Key Points

Key points are not available for this paper at this time.

Cite This Study

Millo et al. (1979) studied this question.

synapsesocial.com/papers/69ffd1d42ff633f36577b378https://doi.org/10.1145/359104.359106
View Full Paper
Ask AI
Bookmark
Share

Also Consider

Synapse has enriched 2 closely related papers on similar clinical questions. Consider them for comparative context:

  1. 1Chief programmer team management of production programming1972 · 327 citations
  2. 2Notes on the design of Euclid1977 · 73 citations