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 conformance of a deterministic implementation against a non-deterministic specification

Hierons, Robert Mark and Harman, Mark (2004) Testing conformance of a deterministic implementation against a non-deterministic specification. Theoretical Computer Science, 323 (1-3). pp. 191-233.

Full text not available from this repository.


Item Type:Article
Subjects:UNSPECIFIED
ID Code:340
Deposited By:Prof Mark Harman
Deposited On:06 Nov 2007 16:12
Last Modified:06 Nov 2007 16:12

Repository Staff Only: item control page