Download.it - sökikon
Advertisement

Alternativ till Alloy 4

Kompileringsverktyg för formell modellering och analys av relationella strukturer