Bookmark Saya

Semantic Scholar Open Access 1979 590 sitasi

Social processes and proofs of theorems and programs

R. DeMillo R. Lipton A. Perlis
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (3)

R

R. DeMillo

R

R. Lipton

A

A. Perlis

Format Sitasi

APA MLA BibTeX
DeMillo, R., Lipton, R., Perlis, A. (1979). Social processes and proofs of theorems and programs. https://doi.org/10.1145/359104.359106

Akses Cepat

Lihat di Sumber doi.org/10.1145/359104.359106
Informasi Jurnal
Tahun Terbit
1979
Bahasa
en
Total Sitasi
590×
Sumber Database
Semantic Scholar
DOI
10.1145/359104.359106
Akses
Open Access ✓