Date: September 21-23, 2015
Location: Austin, TX, USA
Website: http://memocode.irisa.fr/
Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla, “Towards Refinement Types forTime-Dependent Data-Flow Networks,” ACM/IEEE International Conference on Formal Methods and Model for Codesign (MEMOCODE 2015): 36-41, Austin, TX, USA, September 21-23, 2015