GitHub repository: saerdna-se/itmc
Created: 2017-12-06T10:04:16Z
Description: Material for the research project on information-theoretic model check