BOTTOM UP ANALYSIS OF WHILE STATEMENTS: STRONGEST INVARIANT FUNCTIONS.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Name	IFIP Congress Series
Volume	9

All Science Journal Classification (ASJC) codes

@inproceedings{ba412d2dc223439eacfe9e5f878192db,

title = "BOTTOM UP ANALYSIS OF WHILE STATEMENTS: STRONGEST INVARIANT FUNCTIONS.",

author = "Ali Mili",

year = "1983",

language = "English (US)",

isbn = "0444867295",

series = "IFIP Congress Series",

publisher = "Elsevier Science Publ Co",

pages = "339--343",

booktitle = "IFIP Congress Series",

}

TY - GEN

T1 - BOTTOM UP ANALYSIS OF WHILE STATEMENTS

T2 - STRONGEST INVARIANT FUNCTIONS.

AU - Mili, Ali

PY - 1983

Y1 - 1983

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

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

M3 - Conference contribution

AN - SCOPUS:0020910831

SN - 0444867295

T3 - IFIP Congress Series

SP - 339

EP - 343

BT - IFIP Congress Series

PB - Elsevier Science Publ Co

ER -