Browse by Publication
![]() | Up a level |
Number of items: 1.
Zheng, Y, Zhou, J, Krause, P and Latifi, S (2007) A model checking based test case generation framework for web services In: 4th International Conference on Information Technology - New Generations, 2007-04-02 - 2007-04-04, Las Vegas, NV.
