Code Optimization
Newton Raphson in Fortran
The Spin Model Checker : Part I
The Spin Model Checker : Part I Moonzoo Kim KAIST.