Author of the publication

From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.

, and . Formal Aspects Comput., 18 (1): 42-62 (2006)

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

Personalization and the web from a museum perspective, and . Museums and the web 2004, (2004)Select Z Bibliography.. Z User Workshop, page 359-396. Springer/BCS, (1994)Comp.specification.z and Z FORUM Frequently Asked Questions.. Z User Workshop, page 397-403. Springer/BCS, (1994)On Security in Encrypted Computing., , , and . ICICS, volume 11149 of Lecture Notes in Computer Science, page 192-211. Springer, (2018)Creative visualisation in chemistry., , and . Int. J. Creative Comput., 1 (2/3/4): 231-273 (2016)Communicating the public understanding of science: the Royal Society website., and . Int. J. Technol. Manag., 46 (1/2): 146-164 (2009)Z FORUM Electronic Mailing List.. Z User Workshop, page 378-378. Springer, (1990)Microprocessor interfacing and communication using the Intel SDK-85: Borivoje Furht and Himanshu Parikh Prentice-Hall Reston, Englewood Cliffs, NJ, USA (April 1986) £31.00 pp 499., and . Microprocess. Microsystems, 10 (9): 513 (1986)A user-friendly interface adapter.. Microprocess. Microsystems, 9 (9): 432-439 (1985)Algorithms, software and hardware of parallel computers: J Mikloško and V E Kotov (eds)Springer-Verlag, Berlin, FRG (1984) DM 89 pp 395.. Microprocess. Microsystems, 9 (3): 138-139 (1985)