2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
| Natura: | Elettronico Libro |
|---|---|
| Lingua: | English |
| Pubblicazione: |
IEEE
|
| Soggetti: | |
| Accesso online: | Full text available on IEEE [2017-2023] Off-campus access |
| Classic Catalogue: | View this record in Classic Catalogue |