José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira. Deductive verification of cryptographic software. ISSE, 6(3):203-218, 2010. [doi]
@article{AlmeidaBPV10, title = {Deductive verification of cryptographic software}, author = {José Bacelar Almeida and Manuel Barbosa and Jorge Sousa Pinto and Bárbara Vieira}, year = {2010}, doi = {10.1007/s11334-010-0127-y}, url = {http://dx.doi.org/10.1007/s11334-010-0127-y}, researchr = {https://researchr.org/publication/AlmeidaBPV10}, cites = {0}, citedby = {0}, journal = {ISSE}, volume = {6}, number = {3}, pages = {203-218}, }