𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies

✍ Scribed by Könighofer, Robert; Hofferek, Georg; Bloem, Roderick


Book ID
121622084
Publisher
Springer
Year
2011
Tongue
English
Weight
958 KB
Volume
15
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES