BibTeX Export

@INPROCEEDINGS{haehnle_ea:2020:isola,
     author = {H{\"{a}}hnle, Reiner and Heydari Tabar, Asmae and Mazaheri, Arya and Norouzi, Mohammad and Steinh{\"{o}}fel, Dominic and Wolf, Felix},
     editor = {Margaria, Tiziana and Steffen, Bernhard},
      title = {Safer Parallelization},
  booktitle = {Proc. of the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles. ISoLA 2020, Rhodes, Greece},
     series = {Lecture Notes in Computer Science},
     volume = {1477},
       year = {2020},
      pages = {117--137},
  publisher = {Springer},
       issn = {978-3-030-61470-6},
        doi = {10.1007/978-3-030-61470-6_8}
}