Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18)
Research report
År
2018Permanent lenke
http://urn.nb.no/CRIStin
1603349Del av
Research reportRedaktør
Abraham, Erika; Tapia Tarifa, Silvia LizethMetadata
Vis metadataFinnes i følgende samling
- Institutt for informatikk [4956]
- CRIStin høstingsarkiv [31446]