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	American English
Title of host publication	Proceedings - International Conference on Software Engineering
Publisher	IEEE
Pages	499-509
Number of pages	11
ISBN (Print)	0818605286
State	Published - Jan 1 1984
Externally published	Yes

Name	Proceedings - International Conference on Software Engineering

ASJC Scopus subject areas

@inproceedings{19f70b9a5de248fca8e1c501ecd80b70,

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

author = "Ali Mili and Jules Desharnais",

year = "1984",

month = jan,

day = "1",

language = "American English",

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/1/1

Y1 - 1984/1/1

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

SN - 0818605286

T3 - Proceedings - International Conference on Software Engineering

SP - 499

EP - 509

BT - Proceedings - International Conference on Software Engineering

PB - IEEE

ER -