1312 search results - page 6 / 263 » Embedded contract languages |
TOOLS
1998
IEEE
15 years 7 months ago
1998
IEEE
150
click to vote
IFM
2009
Springer
15 years 26 days 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...
EUROMICRO
2004
IEEE
15 years 6 months ago
2004
IEEE
