𝔖 Bobbio Scriptorium
✦   LIBER   ✦

SoSyM Special Section on Software Engineering and Formal Methods

✍ Scribed by Jorge Cuellar; Zhiming Liu


Publisher
Springer-Verlag
Year
2006
Tongue
English
Weight
46 KB
Volume
6
Category
Article
ISSN
1619-1366

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Software engineering and formal methods
✍ Bernhard Aichernig; Bernhard Beckert πŸ“‚ Article πŸ“… 2008 πŸ› Springer-Verlag 🌐 English βš– 66 KB