2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering

Collection

IEL Online

Publisher

IEEE

Subject

Computing and Processing

Access From

2015-07-27

URL

https://ieeexplore.ieee.org/servlet/opac?punumber=7166199

issn

978-1-4673-7044-8

eissn

978-1-4673-7043-1