Papers published at ICTP.
The papers published by the ICTP members before or after being ICTP members are categorized as not@ictp.
On the formal verification of algorithm logic diagrams
Abstract AuthorsL. Negrescu Institutul de Calcul I. Păvăloiu Institutul de Calcul Keywords? Paper coordinatesL. Negrescu, I. Păvăloiu, Asupra verificării formale a…