@inproceedings{Ghica_2009,
    doi = {10.1109/lics.2009.26},
    url = {https://doi.org/10.1109%2Flics.2009.26},
    year = {2009},
    month = {aug},
    publisher = {{IEEE}},
    author = {Dan R. Ghica},
    title = {Applications of Game Semantics: From Program Analysis to Hardware Synthesis},
    booktitle = {2009 24th Annual {IEEE} Symposium on Logic In Computer Science}
}

@inproceedings{Ghica_2009, doi = {10.1109/lics.2009.26}, url = {https://doi.org/10.1109%2Flics.2009.26}, year = {2009}, month = {aug}, publisher = {{IEEE}}, author = {Dan R. Ghica}, title = {Applications of Game Semantics: From Program Analysis to Hardware Synthesis}, booktitle = {2009 24th Annual {IEEE} Symposium on Logic In Computer Science} }