Stav dette: Iterative methods for large scale static analysis of structures on a scalable multiprocessor supercomputer / by Nahil A. Sobh, principal investigator.