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