𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008

✍ Scribed by Antonio Cerone; Stefan Gruner


Publisher
Springer-Verlag
Year
2010
Tongue
English
Weight
178 KB
Volume
10
Category
Article
ISSN
1619-1366

No coin nor oath required. For personal study only.