@ARTICLE {1862, author={R. Chadha and P. Mateus and A. Sernadas}, doi={}, journal={Theoretical Computer Science}, title={Reasoning about quantum imperative programs}, year={2006}, month={May}, volume={158}, number={-}, pages={19-40}, ISSN={0304-3975} }Create and download bib file