Login / Signup

Reasoning About Program Transformations: Imperative Programming and Flow of Data by Jean-Francois Collard, Springer-Verlag, 2003.

Mike Thomas
Published in: J. Funct. Program. (2004)
Keyphrases