MPG.eBooks - Search Results - "Precedent"

Search alternatives:
precedent » precedents , precedence , president

Cover Image

1

Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

“... was preceded by a tutorial day, consisting of three two-hour lectures given also by the keynote speakers...”