CDISC Open Source and low-cost Solutions Jozef Aerts XML4Pharma.
Ivan Marsic Rutgers University LECTURE 7: Object Oriented Design.
Provably Correct Compilers (Part 2) Nazrul Alam and Krishnaprasad Vikram April 21, 2005.
Automatically Checking the Correctness of Program Analyses and Transformations.
Chapter 6 Multiplexingand Error Detection/Correction 1/60 By Dr.Sukchatri P.