Login / Signup

A method for refining and testing generalised machine specifications.

Florentin IpateMike Holcombe
Published in: Int. J. Comput. Math. (1998)
Keyphrases