Reducing Behavioural to Structural Properties of Programs with Procedures Dilian Gurov1? and Marieke Huisman2?? 1 Royal Institute of Technology, Stockholm, Sweden

First Page		Document Content
Date: 2009-01-15 09:20:35		Reducing Behavioural to Structural Properties of Programs with Procedures Dilian Gurov1? and Marieke Huisman2?? 1 Royal Institute of Technology, Stockholm, Sweden Add to Reading List Source URL: www.csc.kth.se Download Document from Source Website File Size: 320,54 KB Share Document on Facebook