Liquid Clocks-Refinement Types for Time-Dependent Stream Functions

Author Name

Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla

Year

2015

Published In

Institution: INRIA Rennes-Bretagne Atlantique; INRIA