Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
Screen decoration graphicsLogo

Testing against non-deterministic stream X-machines

Hierons, Robert Mark and Harman, Mark (2000) Testing against non-deterministic stream X-machines. Formal Aspects of Computing, 12 . pp. 423-442.

Full text not available from this repository.

Item Type:Article
ID Code:356
Deposited By:Prof Mark Harman
Deposited On:06 Nov 2007 16:07
Last Modified:06 Nov 2007 16:07

Repository Staff Only: item control page