@phdthesis{khan_formal_2014,
	address = {Linz Austria},
	type = {phdthesis},
	title = {Formal {Specification} and {Verification} of {Computer} {Algebra} {Software}},
	url = {https://www3.risc.jku.at/publications/download/risc_4981/main.pdf},
	school = {Johannes Kepler University Linz},
	author = {Khan, Muhammad Taimoor},
	month = apr,
	year = {2014},
}

{"_id":"FxtbctwWQB85WbsRJ","bibbaseid":"khan-formalspecificationandverificationofcomputeralgebrasoftware-2014","author_short":["Khan, M. T."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","address":"Linz Austria","title":"Formal Specification and Verification of Computer Algebra Software","url":"https://www3.risc.jku.at/publications/download/risc_4981/main.pdf","school":"Johannes Kepler University Linz","author":[{"propositions":[],"lastnames":["Khan"],"firstnames":["Muhammad","Taimoor"],"suffixes":[]}],"month":"April","year":"2014","bibtex":"@phdthesis{khan_formal_2014,\n\taddress = {Linz Austria},\n\ttype = {phdthesis},\n\ttitle = {Formal {Specification} and {Verification} of {Computer} {Algebra} {Software}},\n\turl = {https://www3.risc.jku.at/publications/download/risc_4981/main.pdf},\n\tschool = {Johannes Kepler University Linz},\n\tauthor = {Khan, Muhammad Taimoor},\n\tmonth = apr,\n\tyear = {2014},\n}\n\n\n\n\n\n\n\n","author_short":["Khan, M. T."],"key":"khan_formal_2014","id":"khan_formal_2014","bibbaseid":"khan-formalspecificationandverificationofcomputeralgebrasoftware-2014","role":"author","urls":{"Paper":"https://www3.risc.jku.at/publications/download/risc_4981/main.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"phdthesis","biburl":"https://bibbase.org/zotero/andreg-p","dataSources":["QGwcHf7xnb5mCCQi7"],"keywords":[],"search_terms":["formal","specification","verification","computer","algebra","software","khan"],"title":"Formal Specification and Verification of Computer Algebra Software","year":2014}