1410 search results - page 14 / 282 » Proving theorems by reuse |
116
click to vote
FM
1999
Springer
15 years 6 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
101
Voted
KI
2009
Springer
15 years 8 months ago
2009
Springer
104
Voted
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
138
Voted
ADG
2006
Springer
15 years 7 months ago
2006
Springer
91
Voted
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
