The Library
Browse by Funded research at the University of Warwick
Up a level |
Jump to: Conference Item
Number of items: 1.
Conference Item
Chakrapani Rao, Arun (2017) More automated formal methods?! If so, why, where & how? In: Automated Formal Methods (AFM) 2017 Workshop in association with NASA Formal Methods (NFM) 2017, Menlo Park, California, USA, 19 May 2017. Published in: Proceedings of the 2017 Automated Formal Methods (AFM) Workshop 2017