Release Summary

Scandinavian Real Heart Selects AdaCore's Embedded Software Development Platform for Lifesaving Artificial Heart