External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 8, Issue 2

    59 -- 60Martin R. Woodward. Editorial: Time and time again
    61 -- 81Florentin Ipate, Mike Holcombe. Specification and Testing Using Generalised Machines: A Presentation and a Case Study
    83 -- 102Hans van der Schoot, Hasan Ural. An Improvement of Partial-Order Verification
    103 -- 104Harold W. Thimbleby. Formal Methods in Human-Computer Interaction, by Philippe Palanque and Fabio Paterno (Editors), Springer-Verlag, 1998 (Book Review)
    105 -- 106Colin Tully. Software Process Improvement: Practical Guidelines for Business Success, by Sami Zahran, Addison-Wesley, 1997 (Book Review)
    runs on