SCImago Journal Rank (SJR) 2017: 0.119Source Normalized Impact per Paper (SNIP) 2017: 0.237
researchers in the fields of formal methods and computer-checked mathematics
Character limit 500/500
Character limit500/500