Integrating Software and Hardware Verification.

Authors :: Jakobs, Marie-Christine
Platzner, Marco
Wehrheim, Heike
Wiersema, Tobias
Source :: Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings; 2014, p307-322, 16p
Publication Year :: 2014

Language :: English
ISBNs :: 9783319101804
Database :: Complementary Index
Journal :: Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Publication Type :: Book
Accession number :: 98760831
Full Text :: https://doi.org/10.1007/978-3-319-10181-1_19