VST

С вкладом от

Эндрю В. Аппель, Леннарт Берингер, Роберт Докинс, Джозия Доддс, Аквинский Хобор, Жан-Мари Мадиот, Гордон Стюарт, Цинсиан Цао, Цинши Ван и другие.

Файл лицензии имеет информацию об авторском праве, лицензировании и разрешениях.

Как установить:

Смотрите здесь для инструкций.

Документация:

Наша веб -страница описывает цели проекта и имеет ссылки на многие связанные публикации.

Для введения в то, как использовать проверяемый C, прочитать руководство или проконсультироваться с программными основаниями. Том 5: Проверенный C для учебного пособия с упражнениями.

Программа логики для сертифицированных компиляторов, Эндрю В. Аппель и др., Кембриджский университет, 2014. Доступно в хард -переплете.