Author

Jacky, Jonathan

Catalogue records by Jacky, Jonathan in the PakCat Union Catalogue.

2 catalogue records

Catalogue records

Model-based software testing and analysis with C# Author not listed 2008 The way of Z: Practical programming with formal methods Jacky, Jonathan 1997