𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the practical need for abstraction relations to verify abstract data type representations

✍ Scribed by Sitaraman, M.; Weide, B.W.; Ogden, W.F.


Book ID
117872166
Publisher
IEEE
Year
1997
Tongue
English
Weight
374 KB
Volume
23
Category
Article
ISSN
0098-5589

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES