Maria Spichkova, Radhika Bhat. FocusST Solution for Analysis of Cryptographic Properties. In Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, editors, Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018. pages 320-327, SciTePress, 2018. [doi]
@inproceedings{SpichkovaB18,
title = {FocusST Solution for Analysis of Cryptographic Properties},
author = {Maria Spichkova and Radhika Bhat},
year = {2018},
doi = {10.5220/0006772103200327},
url = {https://doi.org/10.5220/0006772103200327},
researchr = {https://researchr.org/publication/SpichkovaB18},
cites = {0},
citedby = {0},
pages = {320-327},
booktitle = {Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018},
editor = {Ernesto Damiani and George Spanoudakis and Leszek A. Maciaszek},
publisher = {SciTePress},
isbn = {978-989-758-300-1},
}