@misc{NASA,
annote = {http://shemesh.larc.nasa.gov/fm/fm-what.html, {\#}URL NASA, o.J.},
author = {NASA},
keywords = {LLSE,LLSE16},
mendeley-tags = {LLSE,LLSE16},
title = {{NASA Langley Formal Methods Site}}
}

{"_id":"tRw82W3aNqQ4wjevp","bibbaseid":"nasa-nasalangleyformalmethodssite","downloads":0,"creationDate":"2017-09-05T15:16:01.704Z","title":"NASA Langley Formal Methods Site","author_short":["NASA"],"year":null,"bibtype":"misc","biburl":"https://www2.swc.rwth-aachen.de/docs/booksHL.bib","bibdata":{"bibtype":"misc","type":"misc","annote":"http://shemesh.larc.nasa.gov/fm/fm-what.html, #URL NASA, o.J.","author":[{"firstnames":[],"propositions":[],"lastnames":["NASA"],"suffixes":[]}],"keywords":"LLSE,LLSE16","mendeley-tags":"LLSE,LLSE16","title":"NASA Langley Formal Methods Site","bibtex":"@misc{NASA,\nannote = {http://shemesh.larc.nasa.gov/fm/fm-what.html, {\\#}URL NASA, o.J.},\nauthor = {NASA},\nkeywords = {LLSE,LLSE16},\nmendeley-tags = {LLSE,LLSE16},\ntitle = {{NASA Langley Formal Methods Site}}\n}\n","author_short":["NASA"],"key":"NASA","id":"NASA","bibbaseid":"nasa-nasalangleyformalmethodssite","role":"author","urls":{},"keyword":["LLSE","LLSE16"],"downloads":0,"html":""},"search_terms":["nasa","langley","formal","methods","site","nasa"],"keywords":["llse","llse16"],"authorIDs":[],"dataSources":["mBXRzXXyMLZtcDe8E"]}