%0 Conference Paper %1 conf/icete/AldausariZD18 %A Aldausari, Nuha %A Zhang, Cui %A Dai, Jun %B ICETE (2) %D 2018 %E Samarati, Pierangela %E Obaidat, Mohammad S. %I SciTePress %K dblp %P 530-537 %T Combining Design by Contract and Inference Rules of Programming Logic towards Software Reliability. %U http://dblp.uni-trier.de/db/conf/icete/icete2018-2.html#AldausariZD18 %@ 978-989-758-319-3

@inproceedings{conf/icete/AldausariZD18, added-at = {2018-08-29T00:00:00.000+0200}, author = {Aldausari, Nuha and Zhang, Cui and Dai, Jun}, biburl = {https://www.bibsonomy.org/bibtex/2b79655dc2b7e9b28743deb10ee90c963/dblp}, booktitle = {ICETE (2)}, crossref = {conf/icete/2018-2}, editor = {Samarati, Pierangela and Obaidat, Mohammad S.}, ee = {https://doi.org/10.5220/0006849605300537}, interhash = {f0c2993189b2c6a159ed50e5883f7b69}, intrahash = {b79655dc2b7e9b28743deb10ee90c963}, isbn = {978-989-758-319-3}, keywords = {dblp}, pages = {530-537}, publisher = {SciTePress}, timestamp = {2018-08-30T11:38:49.000+0200}, title = {Combining Design by Contract and Inference Rules of Programming Logic towards Software Reliability.}, url = {http://dblp.uni-trier.de/db/conf/icete/icete2018-2.html#AldausariZD18}, year = 2018 }