This category marks all the ICTP posts containing the pdf file of the paper/book.
On formal verifications of logical networks of algorithms
Abstract AuthorsL. Negrescu Institutul de Calcul I. Păvăloiu Institutul de Calcul Keywords? Paper coordinatesL. Negrescu, I. Păvăloiu, On formal verifications of…
