Carlos Iván Chesñevar

Carlos Iván Chesñevar is an author at Universidad Nacional del Sur specializing in engineering, automated reasoning, and formal methods.

Publications per year

1998–2023

44

Publications

44