Towards refinement types for time-dependent data-flow networks.

Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla

Browse the full MEMOCODE paper archive.