Topp Mjukvara För Filippo Schiavio
SpanTools är ett open source program som kan kontrollera och definiera system, som uttrycks som nätverk av objekt med övergångar och stater.. SpanTools kan utvärdera Cospan (Monoidal Graph) uttryck, samt att beräkna monoidal grafen av ett uttryck Krav...