All posts tagged in: opam

Установка Frama-C с последней версией плагина дедуктивной верификации Jessie (AstraVer)

opam: aspcud installation on linux