ON THE SPECIFICATION AND DESIGN OF PROGRAMS: SET-THEORETIC CONCEPTS.

Research output: Contribution to journal › Conference article › peer-review

Original language	English (US)
Pages (from-to)	392-398
Number of pages	7
Journal	Proceedings of the Hawaii International Conference on System Science
State	Published - 1984
Externally published	Yes

All Science Journal Classification (ASJC) codes

@article{96a56e3ae59146c3a6d9f43844c85d8e,

title = "ON THE SPECIFICATION AND DESIGN OF PROGRAMS: SET-THEORETIC CONCEPTS.",

author = "A. Mili",

year = "1984",

language = "English (US)",

pages = "392--398",

journal = "Proceedings of the Hawaii International Conference on System Science",

issn = "0073-1129",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - ON THE SPECIFICATION AND DESIGN OF PROGRAMS

T2 - SET-THEORETIC CONCEPTS.

AU - Mili, A.

PY - 1984

Y1 - 1984

UR - http://www.scopus.com/inward/record.url?scp=0021156008&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0021156008&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:0021156008

SN - 0073-1129

SP - 392

EP - 398

JO - Proceedings of the Hawaii International Conference on System Science

JF - Proceedings of the Hawaii International Conference on System Science

ER -