𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Making formal methods education effective for professional software engineers

✍ Scribed by David Garlan


Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
1006 KB
Volume
37
Category
Article
ISSN
0950-5849

No coin nor oath required. For personal study only.