In: W.Goerig (Hrsg.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software …
In: M. Bauer and C. Rich, editors, Learning How to Do Things: Papers from the 2000 AAAI Fall Symposium, North Falmouth, MA, USA. AAAI Fall Symposium, …