On Combining Algebraic Specifications with First-Order Logic via Athena
Crossref DOI link: https://doi.org/10.1007/978-3-319-68103-0_19
Published Online: 2017-12-16
Published Print: 2017
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ksystra, Katerina
Triantafyllou, Nikos
Stefaneas, Petros
License valid from 2017-01-01