Authors: SAIEDIAN H HINCHEY MG

Citation: H. Saiedian et Mg. Hinchey, CHALLENGES IN THE SUCCESSFUL TRANSFER OF FORMAL METHODS TECHNOLOGY INTO INDUSTRIAL APPLICATIONS, Information and software technology, 38(5), 1996, pp. 313-322

Authors: SAIEDIAN H BOWEN JP BUTLER RW DILL DL GLASS RL GRIES D HALL A HINCHEY MG HOLLOWAY CM JACKSON D JONES CB LUTZ MJ PARNAS DL RUSHBY J WING J ZAVE P

Citation: H. Saiedian et al., AN INVITATION TO FORMAL METHODS, Computer, 29(4), 1996, pp. 16

Authors: HINCHEY MG

Citation: Mg. Hinchey, VISUAL METHODS IN REAL-TIME PROGRAMMING, Control engineering practice, 3(6), 1995, pp. 837-842

Authors: BOWEN JP HINCHEY MG

Citation: Jp. Bowen et Mg. Hinchey, 7 MORE MYTHS OF FORMAL METHODS, IEEE software, 12(4), 1995, pp. 34-41

Authors: BOWEN JP HINCHEY MG

Citation: Jp. Bowen et Mg. Hinchey, 10-COMMANDMENTS OF FORMAL METHODS, Computer, 28(4), 1995, pp. 56-63