CPP (Conference) (1st : 2011 : Kenting, Taiwan)
CPP 1 2011 Kending
International Conference on Certified Programs and Proofs (1re : 2011 : Kending, Taiwan)
VIAF ID: 214943666 ( Corporate )
Permalink: http://viaf.org/viaf/214943666
Preferred Forms
4xx's: Alternate Name Forms (4)
5xx's: Related Names (1)
- 551 _ _ ‡a Kending
Works
Title | Sources |
---|---|
Certified programs and proofs, 2011: |