Project P Workshop

Jun 16, 2015 – Paris, France

AdaCore will be exhibiting at this event. Matteo Bordin will be presenting “Overview of other generators of the project” and “Model Verification and Code Generation with QGen”.