Author

Jean -Raymond Gagn�

Institution: Université Laval

Observed institution: Université Laval

OpenAlex ID: A5098367359

Strongest invariant functions: Their use in the systematic analysis of while statements

1985 · Ali Mili, Jules Desharnais, et al. · Acta Informatica · 22

Works count: 1

Citation count: 22

H-index: 1

I10-index: 1