Login / Signup

Bounded Verification of State Machine Models.

Nafiseh KahaniJames R. Cordy
Published in: SAM (2020)
Keyphrases