%0 Thesis %1 phd/us/Sigurbjarnarson20 %A Sigurbjarnarson, Helgi %D 2020 %K dblp %T Push-Button Verification of Systems Software.

@phdthesis{phd/us/Sigurbjarnarson20, added-at = {2022-05-04T00:00:00.000+0200}, author = {Sigurbjarnarson, Helgi}, biburl = {https://www.bibsonomy.org/bibtex/238bb6bb9ed16f5bf82bcfc3fb7284da1/dblp}, ee = {https://hdl.handle.net/1773/45476}, interhash = {86af504aeec235d5de43fbecb7825e67}, intrahash = {38bb6bb9ed16f5bf82bcfc3fb7284da1}, keywords = {dblp}, school = {University of Washington, USA}, timestamp = {2024-04-09T08:04:08.000+0200}, title = {Push-Button Verification of Systems Software.}, year = 2020 }