All decks Close
All decks 4

  • deck

    Oct 27, 2022 40 0

  • Introduction à TLA+: corriger les bugs sans code

    Dec 15, 2020 40 0

  • modelling

    Mar 22, 2020 36 0

  • REX Migrating from a legacy system

    Feb 10, 2020 51 0