Login / Signup

Composite model-checking: verification with type-specific symbolic representations.

Tevfik BultanRichard GerberChristopher League
Published in: ACM Trans. Softw. Eng. Methodol. (2000)
Keyphrases