Abstract
Authors
L. Negrescu
Institutul de Calcul
I. Păvăloiu
Institutul de Calcul
Keywords
?
Paper coordinates
L. Negrescu, I. Păvăloiu, On formal verifications of logical networks of algorithms. (Romanian) Stud. Cerc. Mat. 17 1965 271–286.
About this paper
Journal
Studii si Cercetari Matematice
Publisher Name
Publishing House of the Academy of the Republic of S.R.
DOI
Print ISSN
0039-4068
Online ISSN
google scholar link
??