Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Goranko, V. Logic in Computer Science: Modelling and Reasoning About Systems. JoLLI 16, 117–120 (2007). https://doi.org/10.1007/s10849-006-9017-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-006-9017-y