Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach (1998)

Cached

Download Links

by Tevfik Bultan , Richard Gerber , Christopher League
Venue:In Proceedings of the 1998 ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'98
Citations:23 - 5 self