Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revisionBoth sides next revision
public:papers:cybercert2020 [2020-10-21 12:46] – xsvendapublic:papers:cybercert2020 [2020-12-01 13:14] – xsvenda
Line 21: Line 21:
 <button type="warning" icon="fa fa-file-pdf-o">[[https://crocs.fi.muni.cz/_media/publications/pdf/2020-jcmathlib-cybercert.pdf|Pre-print PDF]]</button> <button type="warning" icon="fa fa-file-pdf-o">[[https://crocs.fi.muni.cz/_media/publications/pdf/2020-jcmathlib-cybercert.pdf|Pre-print PDF]]</button>
  
-<button type="info" icon="fa fa-external-link">[[https://dl.acm.org/citation.cfm?id=3173570|Final version (ACM DL)]]</button>+<button type="info" icon="fa fa-external-link">[[https://ieeexplore.ieee.org/abstract/document/9229780|Final version (IEEE Xplore)]]</button>
  
 <button collapse="bibtex" icon="fa fa-file-code-o">BiBTeX</button> <button collapse="bibtex" icon="fa fa-file-code-o">BiBTeX</button>
Line 48: Line 48:
 </panel> </panel>
  
-===== Key insights ===== 
- 
-Our research produced the following actionable takeaways for software developers: 
-  * **FIXME**\\ FIXME. 
- 
-===== Acknowledgements ===== 
- 
-FIXME