๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[IEEE Tenth Asia-Pacific Software Engineering Conference, 2003. - Chiang Mai, Thailand (10-12 Dec. 2003)] Tenth Asia-Pacific Software Engineering Conference, 2003. - Reasoning about pointers in refinement calculus

โœ Scribed by Back, R.-J.; Xiaocong Fan, ; Preoteasa, V.


Book ID
126738287
Publisher
IEEE
Year
2003
Tongue
English
Weight
329 KB
Category
Article
ISBN-13
9780769520117

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES