Patrice Chalin. Ensuring that your dart will hit the mark: An introduction to dart contracts. In James Joshi, Elisa Bertino, Bhavani M. Thuraisingham, Ling Liu, editors, Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, IRI 2014, Redwood City, CA, USA, August 13-15, 2014. pages 369-377, IEEE, 2014. [doi]
Abstract is missing.