@inproceedings{conf/flops/Hanus24,
  added-at = {2024-06-04T00:00:00.000+0200},
  author = {Hanus, Michael},
  biburl = {https://www.bibsonomy.org/bibtex/2f190ac49b839c901152c5f8199c5eb21/dblp},
  booktitle = {FLOPS},
  crossref = {conf/flops/2024},
  editor = {Gibbons, Jeremy and Miller, Dale},
  ee = {https://doi.org/10.1007/978-981-97-2300-3_10},
  interhash = {2449286c3c87531d1871ef348ddfeced},
  intrahash = {f190ac49b839c901152c5f8199c5eb21},
  isbn = {978-981-97-2300-3},
  keywords = {dblp},
  pages = {167-187},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2024-06-10T07:15:20.000+0200},
  title = {Inferring Non-failure Conditions for Declarative Programs.},
  url = {http://dblp.uni-trier.de/db/conf/flops/flops2024.html#Hanus24},
  volume = 14659,
  year = 2024
}

{"_id":"X3Tf4AuuwNZd9buwX","bibbaseid":"hanus-inferringnonfailureconditionsfordeclarativeprograms-2024","author_short":["Hanus, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2024-06-04T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Hanus"],"firstnames":["Michael"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2f190ac49b839c901152c5f8199c5eb21/dblp","booktitle":"FLOPS","crossref":"conf/flops/2024","editor":[{"propositions":[],"lastnames":["Gibbons"],"firstnames":["Jeremy"],"suffixes":[]},{"propositions":[],"lastnames":["Miller"],"firstnames":["Dale"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-981-97-2300-3_10","interhash":"2449286c3c87531d1871ef348ddfeced","intrahash":"f190ac49b839c901152c5f8199c5eb21","isbn":"978-981-97-2300-3","keywords":"dblp","pages":"167-187","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2024-06-10T07:15:20.000+0200","title":"Inferring Non-failure Conditions for Declarative Programs.","url":"http://dblp.uni-trier.de/db/conf/flops/flops2024.html#Hanus24","volume":"14659","year":"2024","bibtex":"@inproceedings{conf/flops/Hanus24,\n added-at = {2024-06-04T00:00:00.000+0200},\n author = {Hanus, Michael},\n biburl = {https://www.bibsonomy.org/bibtex/2f190ac49b839c901152c5f8199c5eb21/dblp},\n booktitle = {FLOPS},\n crossref = {conf/flops/2024},\n editor = {Gibbons, Jeremy and Miller, Dale},\n ee = {https://doi.org/10.1007/978-981-97-2300-3_10},\n interhash = {2449286c3c87531d1871ef348ddfeced},\n intrahash = {f190ac49b839c901152c5f8199c5eb21},\n isbn = {978-981-97-2300-3},\n keywords = {dblp},\n pages = {167-187},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2024-06-10T07:15:20.000+0200},\n title = {Inferring Non-failure Conditions for Declarative Programs.},\n url = {http://dblp.uni-trier.de/db/conf/flops/flops2024.html#Hanus24},\n volume = 14659,\n year = 2024\n}\n\n","author_short":["Hanus, M."],"editor_short":["Gibbons, J.","Miller, D."],"key":"conf/flops/Hanus24","id":"conf/flops/Hanus24","bibbaseid":"hanus-inferringnonfailureconditionsfordeclarativeprograms-2024","role":"author","urls":{"Link":"https://doi.org/10.1007/978-981-97-2300-3_10","Paper":"http://dblp.uni-trier.de/db/conf/flops/flops2024.html#Hanus24"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Michael ?items=1000","dataSources":["PdoHvPQ8eNF9vBHTR"],"keywords":["dblp"],"search_terms":["inferring","non","failure","conditions","declarative","programs","hanus"],"title":"Inferring Non-failure Conditions for Declarative Programs.","year":2024}