Login / Signup

Executable contracts for Elixir.

Sergio PérezLuis Eduardo Bueso de BarrioIgnacio BallesterosÁngel HerranzJulio MariñoClara Benac EarleLars-Åke Fredlund
Published in: Erlang Workshop (2022)
Keyphrases
  • supply chain
  • formal specification
  • adverse selection
  • information technology
  • moral hazard
  • database
  • real time
  • knowledge base
  • artificial neural networks
  • software engineering
  • control flow
  • attribute grammars