GitHub repository: Facthunder/frama-c
Primary language: Dockerfile
Created: 2019-09-18T19:16:33Z
Description: Docker image for Frama-C