Symbolic Semantics and Program Reduction

You are here

TitleSymbolic Semantics and Program Reduction
Publication TypeJournal Article
Year of Publication1985
AuthorsAmbriola, V, Giannotti, F, Pedreschi, D, Turini, F
JournalIEEE Trans. Software Eng.
Volume11
Issue8
Pagination784-794
Taxonomy upgrade extras: