Executable Contracts for Elixir
Sergio Pérez , Luis Eduardo Bueso de Barrio , Ignacio Ballesteros , Ángel Herranz , Julio Mariño , Clara Benac Earle , and Lars-Åke Fredlund (Universitat Politècnica de València, Spain; Universidad Politécnica de Madrid, Spain) Publisher's Version