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