SYSTEM FOR CLASSIFYING PROGRAM VERIFICATION METHODS: ASSIGNING MEANINGS TO PROGRAM VERIFICATION METHODS.

Ali Mili, Jules Desharnais

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

Original language	English (US)
Title of host publication	Proceedings - International Conference on Software Engineering
Publisher	IEEE
Pages	499-509
Number of pages	11
ISBN (Print)	0818605286
State	Published - 1984
Externally published	Yes

Name	Proceedings - International Conference on Software Engineering

All Science Journal Classification (ASJC) codes

@inproceedings{9a2d0a5bbec2496cb63c224aa54481e7,

title = "SYSTEM FOR CLASSIFYING PROGRAM VERIFICATION METHODS: ASSIGNING MEANINGS TO PROGRAM VERIFICATION METHODS.",

author = "Ali Mili and Jules Desharnais",

year = "1984",

language = "English (US)",

isbn = "0818605286",

series = "Proceedings - International Conference on Software Engineering",

publisher = "IEEE",

pages = "499--509",

booktitle = "Proceedings - International Conference on Software Engineering",

}

SYSTEM FOR CLASSIFYING PROGRAM VERIFICATION METHODS: ASSIGNING MEANINGS TO PROGRAM VERIFICATION METHODS. / Mili, Ali; Desharnais, Jules.
Proceedings - International Conference on Software Engineering. IEEE, 1984. p. 499-509 (Proceedings - International Conference on Software Engineering).

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

TY - GEN

T1 - SYSTEM FOR CLASSIFYING PROGRAM VERIFICATION METHODS

T2 - ASSIGNING MEANINGS TO PROGRAM VERIFICATION METHODS.

AU - Mili, Ali

AU - Desharnais, Jules

PY - 1984

Y1 - 1984

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

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

M3 - Conference contribution

AN - SCOPUS:0021121217

SN - 0818605286

T3 - Proceedings - International Conference on Software Engineering

SP - 499

EP - 509

BT - Proceedings - International Conference on Software Engineering

PB - IEEE

ER -