International Conference on Certified Programs and Proofs
CPP (Conference)
VIAF ID: 296946289 ( Corporate )
Permalink: http://viaf.org/viaf/296946289
Preferred Forms
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Certified programs and proofs, c2011: |