Knowledge Tree

researcher / J. CHAZARAIN

J. CHAZARAIN

at_id:

orcid_id:

Disciplines:

Applied sciences

Edit Merge See Links

Directed Thesis:

Specification et preuve des microprocesseurs

Preuves de theoremes inductifs et synthese de programmes recursifs