@mastersThesis{RuiFerreira_12_2020,
   author = "Rui Ferreira",
   title = "Towards Automated Checking of Input Data Usage with Facebook Infer",
   school = "Instituto Superior T{\'e}cnico, University of Lisbon",
   year = 2020,
   month = dec,
   type = "Master's Thesis",
   BibTexOrigem = "16899 www.Inesc-ID.pt 2022-08-12"
}





You may copy/past the above, or you may click here to export it

This is a recent BibTex adaptation in test which probably do not cover all the conversions needed
If you find an error or something missing, please tell us. Thanks for your comprehension!
https://www.inesc-id.pt/publications/16899/bibtex/
www.inesc-id.pt
crawl=CC-MAIN-2022-33
1681
application/http; msgtype=response
sha1:ODEB2MKY2K2THNLQF7MB5ZGIJX2ILOST
<urn:uuid:59a07af1-60dc-455f-9b05-e496aef98f6d>
2022-08-12T06:41:10Z
146.193.32.4
text/html
sha1:S77QZW33PP3KCQ6LZO33O5QQC2IOFWWB
<urn:uuid:a1098a1a-d85f-423f-9ca2-f5fa4775e113>
https://www.inesc-id.pt/publications/16899/bibtex/
response
<urn:uuid:c24ec1ef-0c86-473b-a068-8f3dce135466>
isPartOf: CC-MAIN-2022-33
publisher: Common Crawl
description: Wide crawl of the web for August 2022
operator: Common Crawl Admin (info@commoncrawl.org)
hostname: ip-10-67-67-115
software: Apache Nutch 1.18 (modified, https://github.com/commoncrawl/nutch/)
robots: checked via crawler-commons 1.4-SNAPSHOT (https://github.com/crawler-commons/crawler-commons)
format: WARC File Format 1.1
conformsTo: https://iipc.github.io/warc-specifications/specifications/warc-format/warc-1.1/