Probabilistic Trace and Testing Semantics: The Importance of Being Coherent

Marco Bernardo

978-1-63828-074-3

75.00 USD