Just Testing

Rob van Glabbeek

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Active
Ensuring Liveness Properties of Distributed Systems with Justness
Bradfield, J.
Other (Learned Society)
1/08/22 → 31/08/27
Project: Research