Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17)
Research report
View/ Open
Year
2017Permanent link
http://urn.nb.no/CRIStin
1490782Is part of
Research reportMetadata
Show metadataAppears in the following Collection
- Institutt for informatikk [4929]
- CRIStin høstingsarkiv [31245]