𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 6013 || Automatic Cross Validation of Multiple Specifications: A Case Study

✍ Scribed by Rosenblum, David S.; Taentzer, Gabriele


Book ID
120169863
Publisher
Springer Berlin Heidelberg
Year
2010
Weight
292 KB
Category
Article
ISBN
3642120296

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES