1 search result for "author:"Benito Echarren""

Showing 1 - 1
  1. nuscr
    Documentation
    A tool to manipulate and validate Scribble-style multiparty protocols
    Francisco Ferreira Fangyi Zhou Simon Castellan Benito Echarren
    2.1.1
    GPL-3.0-or-later
    Used by 0 other packages
    19 Jul 2022