Return to Article Details
Логика ветвящегося времени как инструмент спецификации и верификации параллельных программ.
Download
Download PDF