Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe 2016 · 340 pages · Software engineering · Computer science Loading... Cancel OK + New list... Cancel OK Get This Book Amazon Barnes & Noble Books-A-Million Bookshop.org Target Walmart Apple Books Audible Libro.fm Google Play Books ThriftBooks AbeBooks World of Books Borrow It Free Open Library Find at Library Save for Later My Saved Books https://booklink.fyi/b/software-engineering-and-formal-methods-domenico-bianculli Share