%0 Conference Paper %1 conf/sefm/GomesAB20 %A Gomes, Renata Martins %A Aichernig, Bernhard K. %A Baunach, Marcel %B SEFM %D 2020 %E de Boer, Frank S. %E Cerone, Antonio %I Springer %K dblp %P 155-174 %T A Formal Modeling Approach for Portable Low-Level OS Functionality. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2020.html#GomesAB20 %V 12310 %@ 978-3-030-58768-0

@inproceedings{conf/sefm/GomesAB20, added-at = {2020-09-19T00:00:00.000+0200}, author = {Gomes, Renata Martins and Aichernig, Bernhard K. and Baunach, Marcel}, biburl = {https://www.bibsonomy.org/bibtex/2b0044bd246dee0d487de58cfe707ba34/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2020}, editor = {de Boer, Frank S. and Cerone, Antonio}, ee = {https://doi.org/10.1007/978-3-030-58768-0_9}, interhash = {d11db67db3a1d7f4d5b2baf440b35c42}, intrahash = {b0044bd246dee0d487de58cfe707ba34}, isbn = {978-3-030-58768-0}, keywords = {dblp}, pages = {155-174}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-20T11:38:30.000+0200}, title = {A Formal Modeling Approach for Portable Low-Level OS Functionality.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2020.html#GomesAB20}, volume = 12310, year = 2020 }