SIM - 3D Software Verification by Feeders Functioning Analysis Journal title: RECENT Authors: Ioan CIOBANU, Aurel CRIŞAN, Tibor BEDŐ, Sorin MUNTEANU, Daniela IONESCU Subject(s):