Slide 1 Objectification of Formal Specifications Objectification of Formal Specifications António Miguel Cruz ([email protected]) 1 st PURe Workshop – 13,14 September 2004…
No Slide Title DAU Knowledge Management/Sharing â05 â06 â07 John Hickok [email protected] Director, Knowledge Management eLearning and Technology Center 1 AKSS ACC BPCh…