@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@inproceedings{dantas20iclp,
author = {Yuri Gil Dantas and
Antoaneta Kondeva and
Vivek Nigam},
title = {Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns},
booktitle = {International Conference on Logic Programming (ICLP)},
year = {2020},
bib2html_pubtype = {Refereed Conference/Workshop},
bib2html_rescat = {Formal Methods},
bib2html_dl_pdf = "/docs/iclp20.pdf"
}