Täytyy olla Ohjelmisto Varten Filippo Schiavio
SpanTools on avoimen lähdekoodin sovellus, joka voi tarkistaa ja määritellä järjestelmiä, jotka ilmaistaan verkostoja kohteita siirtymiä ja valtioiden.SpanTools osaa arvioida Cospan (Monoidal kaavio) ilmaisuja, sekä laskea monoidal kuvaaja ilmaisua. ...