학술논문

Sibilla: A tool for reasoning about collective systems[Formula presented]
Document Type
Article
Source
In: Science of Computer Programming. (Science of Computer Programming, July 2024, 235)
Subject
Language
English
ISSN
01676423