1
by Roth, Andreas
Published 2006
KIT Scientific Publishing
Subjects: ...formal specification...