Mauuuu

Pinned Repositories

• ContractAutomataLib

  The Contract Automata Library implements Contract Automata and their operations (e.g., composition, synthesis). This is the main repository of the Contract Automata Toolkit.

  Language:Java72

• soap-website

  Language:CSS50

• FTS4VMC

  Language:Python33

• discotec.github.io

  The website of DisCoTec - the International Federated Conference on Distributed Computing Techniques

  Language:HTML24

• itmattersprin.github.io

  IT-Matters Web Page

  Language:TeX10

• ContractAutomataApp

  This is a GUI application of the Contract Automata Toolkit, exploiting the contract automata library to put contract automata at work

  Language:Java00

Mauuuu's Repositories