Liquid Clocks-Refinement Types for Time-Dependent Stream Functions

Submitted by user123 on Sat, 07/17/2021 - 10:47
Author Name
Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla
Published In
Institution: INRIA Rennes-Bretagne Atlantique; INRIA
Year
2015