Springer briefs in pharmaceutical science drug development
© Andrew IrelandDependable Systems Group Proof Automation for the SPARK Approach to High Integrity Ada Andrew Ireland Computing & Electrical Engineering.
Introduction to Software Construction Franco Gasperoni [email protected] .
Collins Advanced Technology Center / Iowa State University / SEC PM/PI: David Statezni, co-PI: Gary Daugherty, Rockwell Collins Subcontract: Dr. Suresh.