Probabilistic Trace and Testing Semantics
Probabilistic Trace and Testing Semantics
Marco Bernardo
Details
OL Work ID
OL28905426W
Find this book
Open Library