Практикум по аналитической верификации программного обеспечения.

А. В. Хорошилов.

Сборник докладов Четвёртой конференции “Свободное программное обеспечение в высшей школе”, сс. 29-32, Переславль, 30 января 1 февраля 2009 г.