TOWARD THE AUTOMATIC SYMBOLIC EXECUTION OF WHILE STATEMENTS.

Ali Mili, Jules Desharnais

Research output: Contribution to journalConference articlepeer-review

Original languageEnglish (US)
Pages (from-to)378-382
Number of pages5
JournalProceedings of the Hawaii International Conference on System Science
StatePublished - 1984
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • General Computer Science

Cite this