au.\*:("DARRINGER JA")
Results 1 to 2 of 2
Selection :
APPLICATIONS OF SYMBOLIC EXECUTION TO PROGRAM TESTING.DARRINGER JA; KING JC.1978; COMPUTER; U.S.A.; DA. 1978; VOL. 11; NO 4; PP. 51-60Article
LOGIC SYNTHESIS THROUGH LOCAL TRANSFORMATIONSDARRINGER JA; JOYNER WH JR; BERMAN CL et al.1981; IBM J. RES. DEVELOP.; ISSN 0018-8646; USA; DA. 1981; VOL. 25; NO 4; PP. 272-280; BIBL. 22 REF.Article