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