%0 Book
%A  Supratik Chakraborty, Madhavan Mukund (eds.)
%T Automated technology for verification and analysis
%U /book/89976437/Automated-technology-for-verification-and-analysis/