Галинье Ф. 

Публикации в базе данных Math-Net.Ru

1. A contract-based method to specify stimulus-response requirements
   
   Труды ИСП РАН, 29:4 (2017),  39–54