@inproceedings{DBLP:conf/fm/JacobsSP11,
  author    = {Bart Jacobs and
               Jan Smans and
               Frank Piessens},
  title     = {Verification of Unloadable Modules},
  booktitle = {{FM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6664},
  pages     = {402--416},
  publisher = {Springer},
  year      = {2011}
}

{"_id":"4APoXgsNcrQxcjPSx","bibbaseid":"jacobs-smans-piessens-verificationofunloadablemodules-2011","downloads":0,"creationDate":"2018-08-29T13:17:52.234Z","title":"Verification of Unloadable Modules","author_short":["Jacobs, B.","Smans, J.","Piessens, F."],"year":2011,"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pers/tb0/p/Piessens:Frank.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Bart"],"propositions":[],"lastnames":["Jacobs"],"suffixes":[]},{"firstnames":["Jan"],"propositions":[],"lastnames":["Smans"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Piessens"],"suffixes":[]}],"title":"Verification of Unloadable Modules","booktitle":"FM","series":"Lecture Notes in Computer Science","volume":"6664","pages":"402–416","publisher":"Springer","year":"2011","bibtex":"@inproceedings{DBLP:conf/fm/JacobsSP11,\n author = {Bart Jacobs and\n Jan Smans and\n Frank Piessens},\n title = {Verification of Unloadable Modules},\n booktitle = {{FM}},\n series = {Lecture Notes in Computer Science},\n volume = {6664},\n pages = {402--416},\n publisher = {Springer},\n year = {2011}\n}\n\n","author_short":["Jacobs, B.","Smans, J.","Piessens, F."],"key":"DBLP:conf/fm/JacobsSP11","id":"DBLP:conf/fm/JacobsSP11","bibbaseid":"jacobs-smans-piessens-verificationofunloadablemodules-2011","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["verification","unloadable","modules","jacobs","smans","piessens"],"keywords":[],"authorIDs":[],"dataSources":["cjvMqzGsyByuD9JLe"]}