Collard, Jean-Francois.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Reasoning about program transformations : imperative programming and flow of data by: Collard, Jean-Francois. (Language materials, printed)

Subjects