Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Editorial: Reflections on the past, present and future., and . Softw. Test. Verification Reliab., 17 (1): 1-2 (2007)Quantifying the test effectiveness of Algol 68 programs., , and . Strathclyde ALGOL 68 Conference, page 36-41. ACM, (1977)Visual Representation of Algebraic Specifications: a User-Oriented Approach., and . HCC, page 62-63. IEEE Computer Society, (2001)Visual Construction of Algebraic Specifications., and . VL, page 79-80. IEEE Computer Society, (2000)Distributing quality-controlled software via the internet., , , , and . Microprocess. Microprogramming, 40 (10-12): 861-864 (1994)A Measure of Control Flow Complexity in Program Text., , and . IEEE Trans. Software Eng., 5 (1): 45-50 (1979)Visualisation of the OBJ Term Re-writing Process., and . Visual Representations and Interpretations, Springer, (1999)Slicing algebraic specifications., and . Inf. Softw. Technol., 40 (2): 105-118 (1998)On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC., and . Inf. Softw. Technol., 48 (7): 433-440 (2006)Masking Errors Through Software Robustness., , , , and . International Conference on Internet Computing, page 809-817. CSREA Press, (2003)