Uri Pincas. Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering?. Minds and Machines, 21(2):337-359, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.