106 search results - page 22 / 22 » On Verifying Complex Properties using Symbolic Shape Analysi... |
158
click to vote
SMA
1993
ACM
15 years 7 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...