Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Author: Jagadish Suryadevara, Cristina Seceleanu, Frédéric Mallet, Paul Pettersson (auth.), Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti (eds.)
Publisher: Springer-Verlag Berlin Heidelberg
Language: English
Edition: 1
Year: 2013
Page: 321
ISBN: 978-3-642-40560-0,978-3-642-40561-7
File Type: pdf
File Size: 5.5 MiB

Just click on START button on Telegram Bot