default search action
BibTeX record conf/seke/Tran020
@inproceedings{DBLP:conf/seke/Tran020, author = {Duong Dinh Tran and Kazuhiro Ogata}, editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro}, title = {Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG}, booktitle = {The 32nd International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July 9-19, 2020}, pages = {287--292}, publisher = {{KSI} Research Inc.}, year = {2020}, url = {https://doi.org/10.18293/SEKE2020-064}, doi = {10.18293/SEKE2020-064}, timestamp = {Sun, 12 Nov 2023 02:16:08 +0100}, biburl = {https://dblp.org/rec/conf/seke/Tran020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.