491 search results - page 13 / 99 » An Interpolating Theorem Prover |
129
click to vote
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...
79
Voted
ENTCS
2006
15 years 4 months ago
2006
99
Voted
AICOM
2002
15 years 3 months ago
2002
CORR
2004
Springer
15 years 3 months ago
2004
Springer
93
Voted
AMAI
1999
Springer
15 years 3 months ago
1999
Springer
