Olivier Ponsini, Carine Fédèle, Emmanuel Kounalis. Rewriting of imperative programs into logical equations. Science of Computer Programming, 56(3):363-401, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.