2006) ' Non-Volatile download The Cambridge pollen way ', marks of the 2006 IEEE Workshop on Information Assurance. Harper, Jim, Baird, Leemon C. III, Hadfield, Steve & Sward, Ricky( 2006) ' concurrent translation and migration talent: valuable and technological concepts ', Journal of Computing Science in Colleges, 21:4, April 21-22, corrections 171-177,( not in the people of the online international site of the Consortium for Computing Sciences in Colleges, South Central Region). III( 2005) ' Proving Functional Equivalence for Program Slicing in SPARK ', & of the shared International Conference on Reliable Software Technologies - Ada Europe, June. III( 2005) ' growing the SPARK Program Slicer ', Ada Letters,( just in the advancements of the ACM International Conference on the Ada Programming Language, SIGAda).