Collard, Jean-Fran簙ois.

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Reasoning about program transformations : = imperative programming and flow of data / by: Collard, Jean-Fran簙ois. (Language materials, printed)

Subjects