Squeeziness for non-deterministic systems
Revue:
Information and Software Technology
ISSN: 0950-5849
Année de publication: 2023
Volumen: 158
Type: Article