procedure EVC 2008-2009 3 • De assessoren worden aangeduid door de gemandateerde persoon/instantie van een specifieke opleiding waarbij een EVC-aanvraag is ingediend. Er worden telkens twee assessoren aangeduid. Hun taak bestaat uit het vormen van een oordeel over de ...
Bryant. Tlsim and evc: a term-level sym- bolic simulator and an efficient decision procedure for the logic of equality with uninterpreted functions and memories. IJES, 1(1/2):134-149, 2005.Velev, M.N. and Bryant, R.E. (2005) `TLSim and EVC: a term-level symbolic simulator and an...
II. De EVC-procedure §1 De feitelijke procedure De EVC-procedure bestaat uit 5 opeenvolgende fasen: de begeleidingsfase, de aanmeldingsfase, het bekwaamheidsonderzoek, de erkenningsfase en de nazorg. De begeleidingsfase is een facultatieve fase. Ze wordt niet noodzakelijk door ...