S. Leue profile picture

S. Leue

Is this your author profile? Create an account to customize it!

Stand Alone

Model Checking Software
Formal Description Techniques VII (IFIP Advances in Information and Communication Technology)