%O Book%T Addressing Verification Challenges  
%A  
%U /publications/7730/addressing-verification-challenges 
%D 2007 
%I INTERNATIONAL ATOMIC ENERGY AGENCY 
%C Vienna