5084 search results - page 6 / 1017 » Proving Possibility Properties |
CADE
2005
Springer
16 years 3 months ago
2005
Springer
DSD
2007
IEEE
15 years 9 months ago
2007
IEEE
169
click to vote
CEFP
2007
Springer
15 years 9 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
CSFW
1997
IEEE
15 years 7 months ago
1997
IEEE
AMAI
2004
Springer
15 years 3 months ago
2004
Springer