Design by contract - Deontic design language for component-based systems

Garion, Christophe; Torre, Leendert van der

Design by contract - Deontic design language for component-based systems (bibtex)

@inproceedings{GarionTorre2003,
  title = {Design by contract - Deontic design language for component-based systems},
  year = {2003},
  author = {Christophe Garion and Leendert van der Torre},
  booktitle = {Proceedings of the 15th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC2003)},
  url = {http://icr.uni.lu/leonvandertorre/papers/bnaic03b.pdf}
}