Clarke, LAPODGURSKI, ARICHARDSON, DJZEIL, SJ2024-04-262024-04-261989https://hdl.handle.net/20.500.14394/10093A FORMAL EVALUATION OF DATA FLOW PATH SELECTION CRITERIAarticle