%0 Conference Paper %1 conf/apsec/BowlesC16 %A Bowles, Juliana Küster Filipe %A Caminati, Marco B. %B APSEC %D 2016 %E Potanin, Alex %E Murphy, Gail C. %E Reeves, Steve %E Dietrich, Jens %I IEEE Computer Society %K dblp %P 313-320 %T Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2016.html#BowlesC16 %@ 978-1-5090-5575-3

@inproceedings{conf/apsec/BowlesC16, added-at = {2017-09-16T00:00:00.000+0200}, author = {Bowles, Juliana Küster Filipe and Caminati, Marco B.}, biburl = {https://www.bibsonomy.org/bibtex/2f5c76c48c9eef2cd08d4f730945d2b40/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2016}, editor = {Potanin, Alex and Murphy, Gail C. and Reeves, Steve and Dietrich, Jens}, ee = {https://doi.org/10.1109/APSEC.2016.051}, interhash = {db62bc30c09179871d6e2454a8292f71}, intrahash = {f5c76c48c9eef2cd08d4f730945d2b40}, isbn = {978-1-5090-5575-3}, keywords = {dblp}, pages = {313-320}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T15:53:06.000+0200}, title = {Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2016.html#BowlesC16}, year = 2016 }