𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Experience of using a lightweight formal specification method for a commercial embedded system product line

✍ Scribed by Michael Breen


Publisher
Springer-Verlag
Year
2005
Tongue
English
Weight
304 KB
Volume
10
Category
Article
ISSN
0947-3602

No coin nor oath required. For personal study only.