Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control - Not Available (NA) - pocket (9789201007995)