2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)

Collection

IEL Online

Publisher

IEEE

Subject

Computing and Processing

Access From

2013-09-26

URL

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

issn

978-1-4673-6291-7

eissn

978-1-4673-6292-4