mrefj

↗ HN profile [ 39.4 ms ] full profile

Karma: 2
Created: December 12, 2016 (9y ago)
Submissions: 0

Refinement-based approach to reasoning of optimized reactive systems (ccs.neu.edu)

3 points 7y ago 1