Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation
AdaEurope, 2018.
@inproceedings{AdaEurope-2018-SljivoGCHP, author = "Irfan Sljivo and Barbara Gallina and Jan Carlson and Hans Hansson and Stefano Puri", booktitle = "{Proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies}", doi = "10.1007/978-3-319-92432-8_2", isbn = "['978-3-319-92431-1', '978-3-319-92432-8']", pages = "19--33", publisher = "{Springer}", title = "{Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation}", year = 2018, }