%0 Journal Article %1 journals/mscs/DHondtP06 %A D'Hondt, Ellie %A Panangaden, Prakash %D 2006 %J Math. Struct. Comput. Sci. %K dblp %N 3 %P 429-451 %T Quantum weakest preconditions. %U http://dblp.uni-trier.de/db/journals/mscs/mscs16.html#DHondtP06 %V 16

@article{journals/mscs/DHondtP06, added-at = {2021-10-14T00:00:00.000+0200}, author = {D'Hondt, Ellie and Panangaden, Prakash}, biburl = {https://www.bibsonomy.org/bibtex/21da985750b24d24e9ea09f9b6bfbaf3f/dblp}, ee = {https://doi.org/10.1017/S0960129506005251}, interhash = {6d55eb125246db3905e4eaad3ed503bd}, intrahash = {1da985750b24d24e9ea09f9b6bfbaf3f}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {429-451}, timestamp = {2024-04-08T13:16:56.000+0200}, title = {Quantum weakest preconditions.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs16.html#DHondtP06}, volume = 16, year = 2006 }