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

The role of formal methods in achieving dependable software

โœ Scribed by Martyn Thomas


Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
594 KB
Volume
43
Category
Article
ISSN
0951-8320

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES