DMCA

Composite Model Checking: Verification with Type-Specific Symbolic Representations (2000)

by Tevfik Bultan , Richard Gerber , Christopher League
Venue:ACM Transactions on Software Engineering and Methodology
Citations:30 - 7 self