Product Description
ISBN: 9783540682356
TITLE: FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings : 5014
AUTHOR: Jorge Cuellar
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 8 May 2008