1312 search results - page 6 / 263 » Embedded contract languages |
148
Voted
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
128
Voted
TOOLS
1998
IEEE
15 years 10 months ago
1998
IEEE
195
Voted
IFM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
102
Voted
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
