Inproceedings,

SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract.

, , , , and .
DATE, page 358-363. IEEE Computer Society, (2004)

Meta data

Tags

Users

  • @dblp

Comments and Reviews