2 ms·Liquid resource types for verification and synthesis – Nadia Polikarpova1 points by matt_d 6y ago