Kanovich Max

Presentations in Math-Net.Ru

1. Resource reasoning in program analysis
   Max Kanovich
   Colloquium of the Faculty of Computer Science
   December 25, 2014 16:40   
2. How and Why Separation Logic is good for Resource Reasoning about Programs
   Max Kanovich
   International workshop "Logical Models of Reasoning and Computation"
   February 2, 2012 10:45