Design by contract - Deontic design language for component-based systems (bibtex)
by Christophe Garion, Leendert van der Torre
Reference:
Design by contract - Deontic design language for component-based systems (Christophe Garion, Leendert van der Torre), In Proceedings of the 15th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC2003), 2003.
Bibtex Entry:
@InProceedings{Garion2003,
  Title                    = {Design by contract - Deontic design language for component-based systems},
  Author                   = {Christophe Garion and Leendert van der Torre},
  Booktitle                = {Proceedings of the 15th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC2003)},
  Year                     = {2003},

  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/bnaic03b.pdf}
}
Powered by bibtexbrowser