Канович Макс Иосифович

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

1. Resource reasoning in program analysis
   Max Kanovich
   Коллоквиум Факультета компьютерных наук НИУ ВШЭ
   25 декабря 2014 г. 16:40   
2. How and Why Separation Logic is good for Resource Reasoning about Programs
   Max Kanovich
   Международная конференция «Logical Models of Reasoning and Computation»
   2 февраля 2012 г. 10:45