# content
Model-based Testing Distributed Systems with P Language (2021) (via hwayne) — discussion

#distributed #formalmethods