Language and Communication Problems in Formalization: A Natural Language Approach. Fantechi, A., Gnesi, S., & Semini, L. In Raschke, A., Riccobene, E., & Schewe, K., editors, Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, volume 12750, of Lecture Notes in Computer Science, pages 121–134, 2021. Springer.
Language and Communication Problems in Formalization: A Natural Language Approach [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/birthday/FantechiGS21,
    author = "Fantechi, Alessandro and Gnesi, Stefania and Semini, Laura",
    editor = "Raschke, Alexander and Riccobene, Elvinia and Schewe, Klaus{-}Dieter",
    title = "Language and Communication Problems in Formalization: {A} Natural Language Approach",
    booktitle = {Logic, Computation and Rigorous Methods - Essays Dedicated to Egon B{\"{o}}rger on the Occasion of His 75th Birthday},
    series = "Lecture Notes in Computer Science",
    volume = "12750",
    pages = "121--134",
    publisher = "Springer",
    year = "2021",
    url = "https://doi.org/10.1007/978-3-030-76020-5\\_7",
    doi = "10.1007/978-3-030-76020-5\\_7",
    timestamp = "Sat, 12 Jun 2021 12:58:01 +0200",
    biburl = "https://dblp.org/rec/conf/birthday/FantechiGS21.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

Downloads: 0