Special issue: program equivalence.

Published in: Formal Methods Syst. Des. (2018)

Keyphrases

special issue
ecml pkdd
ai edam
international journal
applied intelligence
special section
computer programs
machine learning
artificial intelligence