Formal Methods for Industrial Critical Systems : 15th International Workshop, Fmics 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
ISBN: 9783642158988
Information Available:
Summary
Copyright held by Baker & Taylor.