Author

Collard, Jean-François

Catalogue records by Collard, Jean-François in the PakCat Union Catalogue.

1 catalogue record

Catalogue records

Reasoning about program transformations: imperative programming and flow of data Collard, Jean-François 2003