Офигеть! Да что же сегодня за день такой - когда открываются тайны Вселенной... Свежая книга Introduction to C program proof with Frama-C and its WP plugin Лицензия свободная. У меня так бывает иногда. Зацепишься за какую-нибудь новую инфу - и начинает переть связанная интересная информация - так полночи ее упорядочиваешь. Просто попадаешь в информационный поток, настраиваешься на некую волну - и все само находит тебя.