Logic-based Software Modeling with FOML
Autor: | Mira Balaban, Igal Khitron, Michael Kifer |
---|---|
Rok vydání: | 2020 |
Předmět: | |
Zdroj: | The Journal of Object Technology. 19:3:1 |
ISSN: | 1660-1769 |
Databáze: | OpenAIRE |
Externí odkaz: |
Autor: | Mira Balaban, Igal Khitron, Michael Kifer |
---|---|
Rok vydání: | 2020 |
Předmět: | |
Zdroj: | The Journal of Object Technology. 19:3:1 |
ISSN: | 1660-1769 |
Databáze: | OpenAIRE |
Externí odkaz: |