Ensuring that your dart will hit the mark: An introduction to dart contracts.

Patrice Chalin

Browse the full IRI paper archive.