@Article{Jaffar2010,
author = {Jaffar, J and Navas, J and Santosa, A E}, 
title = {Abstraction learning}, 
journal = {Proceedings of the 8th international conference on Automated technology for verification and analysis}, 
volume = {}, 
number = {}, 
pages = {17--17}, 
year = {2010}, 
abstract = {}, 
location = {}, 
keywords = {}}

{"_id":"PeSC56sij45MJx9AH","bibbaseid":"jaffar-navas-santosa-abstractionlearning-2010","authorIDs":[],"author_short":["Jaffar, J","Navas, J","Santosa, A E"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Jaffar"],"firstnames":["J"],"suffixes":[]},{"propositions":[],"lastnames":["Navas"],"firstnames":["J"],"suffixes":[]},{"propositions":[],"lastnames":["Santosa"],"firstnames":["A","E"],"suffixes":[]}],"title":"Abstraction learning","journal":"Proceedings of the 8th international conference on Automated technology for verification and analysis","volume":"","number":"","pages":"17–17","year":"2010","abstract":"","location":"","keywords":"","bibtex":"@Article{Jaffar2010,\nauthor = {Jaffar, J and Navas, J and Santosa, A E}, \ntitle = {Abstraction learning}, \njournal = {Proceedings of the 8th international conference on Automated technology for verification and analysis}, \nvolume = {}, \nnumber = {}, \npages = {17--17}, \nyear = {2010}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Jaffar, J","Navas, J","Santosa, A E"],"key":"Jaffar2010","id":"Jaffar2010","bibbaseid":"jaffar-navas-santosa-abstractionlearning-2010","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.460Z","downloads":0,"keywords":[],"search_terms":["abstraction","learning","jaffar","navas","santosa"],"title":"Abstraction learning","year":2010,"dataSources":["hEoKh4ygEAWbAZ5iy"]}