Bookmark Saya

Semantic Scholar Open Access 1992 1265 sitasi

Institutions: abstract model theory for specification and programming

J. Goguen R. Burstall
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (2)

J

J. Goguen

R

R. Burstall

Format Sitasi

APA MLA BibTeX
Goguen, J., Burstall, R. (1992). Institutions: abstract model theory for specification and programming. https://doi.org/10.1145/147508.147524

Akses Cepat

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