5084 search results - page 6 / 1017 » Proving Possibility Properties |
50
Voted
CADE
2005
Springer
15 years 10 months ago
2005
Springer
DSD
2007
IEEE
15 years 4 months ago
2007
IEEE
128
Voted
CEFP
2007
Springer
15 years 4 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 ...
67
Voted
CSFW
1997
IEEE
15 years 2 months ago
1997
IEEE
AMAI
2004
Springer
14 years 10 months ago
2004
Springer