2023-02-20
Vincent Botbol will give a talk on “Static analysis of Michelson smart-contracts using abstract interpretation” during the seminar of the Automata and Application group. More information here: https://www.lre.epita.fr/automata_seminars/
Copyright (c) 2022, LRE; all rights reserved.
Template by Bootstrapious. Ported to Hugo by DevCows.