Documents Non-standard Software Testing: from Process Algebras to Programmable Hardware. John Clark (Material....

Slide 1 Non-standard Software Testing: from Process Algebras to Programmable Hardware. John Clark (Material drawing on talks and work with Susan Stepney, Jill Srivratanakul,…

Documents Non-standard Software Testing: from Process Algebras to Programmable Hardware.

Non-standard Software Testing: from Process Algebras to Programmable Hardware. John Clark (Material drawing on talks and work with Susan Stepney, Jill Srivratanakul, Fiona…