491 search results - page 13 / 99 » An Interpolating Theorem Prover |
125
Voted
ANLP
2000
15 years 5 months ago
2000
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Stat...
ENTCS
2006
15 years 3 months ago
2006
98
Voted
AICOM
2002
15 years 3 months ago
2002
CORR
2004
Springer
15 years 3 months ago
2004
Springer
89
Voted
AMAI
1999
Springer
15 years 3 months ago
1999
Springer
