1. Shodhganga@INFLIBNET
  2. Indian Institute of Science Bangalore
  3. Computer Science and Automation
Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/576007
Full metadata record
DC FieldValueLanguage
dc.coverage.spatial
dc.date.accessioned2024-07-09T11:26:14Z-
dc.date.available2024-07-09T11:26:14Z-
dc.identifier.urihttp://hdl.handle.net/10603/576007-
dc.description.abstractnewline
dc.format.extent
dc.languageEnglish
dc.relation
dc.rightsuniversity
dc.titleSpecification Synthesis with Constrained Horn Clauses
dc.title.alternative
dc.creator.researcherPrabhu S, Sumanth
dc.subject.keywordComputer Science
dc.subject.keywordComputer Science Theory and Methods
dc.subject.keywordEngineering and Technology
dc.description.note
dc.contributor.guideD Souza, Deepak
dc.publisher.placeBangalore
dc.publisher.universityIndian Institute of Science Bangalore
dc.publisher.institutionComputer Science and Automation
dc.date.registered2019
dc.date.completed2023
dc.date.awarded2024
dc.format.dimensions
dc.format.accompanyingmaterialDVD
dc.source.universityUniversity
dc.type.degreePh.D.
Appears in Departments:Computer Science and Automation

Files in This Item:
File Description SizeFormat 
01_title.pdfAttached File78.58 kBAdobe PDFView/Open
02_abstract.pdf278.32 kBAdobe PDFView/Open
03_content.pdf93.8 kBAdobe PDFView/Open
04_abstract.pdf139.92 kBAdobe PDFView/Open
11_annexure.pdf216.66 kBAdobe PDFView/Open
80_recommendation.pdf75 kBAdobe PDFView/Open
Show simple item record


Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).

Altmetric Badge: