Probabilistic Trace and Testing Semantics
Subtitle: The Importance of Being Coherent
Publisher: Now Publishers
Published: 2022
Language: eng
ISBN-13: 9781638280743