A Formal Transformation and Refinement Method for Concurrent Programs.

E. J. Younger Keith H. Bennett Z. Luo

Published in: ICSM (1997)

Keyphrases

database
similarity measure
machine learning