Language and communication problems in formalization: a natural language approach

DOI10.1007/978-3-030-76020-5_7OpenAlexW3172759431MaRDI QIDQ2117584

Stefania Gnesi, Laura Semini, Alessandro Fantechi

Publication date: 22 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-76020-5_7

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• Unnamed Item
• Formal methods for industrial applications. Specification and programming the Steam Boiler Control
• The abstract state machines method for modular design and analysis of programming languages

This page was built for publication: Language and communication problems in formalization: a natural language approach