FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C. B., Pihlajasaari, P., & Sun, J., editors Volume 8442of Lecture Notes in Computer ScienceSpringer. 2014.
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings [link]Link  bibtex   
@proceedings{DBLP:conf/fm/2014,
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {FM},
	Editor = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun},
	Ee = {http://dx.doi.org/10.1007/978-3-319-06410-9},
	Isbn = {978-3-319-06409-3},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings},
	Volume = {8442},
	Year = {2014}}

Downloads: 0