Login / Signup

An Integrated Refinement and Testing Method for Stream X-machines.

Florentin IpateMike Holcombe
Published in: Appl. Algebra Eng. Commun. Comput. (2002)
Keyphrases