%0 Conference Paper %1 conf/ppdp/0002BMMZ19 %A Brown, Christopher %A Barwell, Adam D. %A Marquer, Yoann %A Minh, Céline %A Zendra, Olivier %B PPDP %D 2019 %E Komendantskaya, Ekaterina %I ACM %K dblp %P 6:1-6:15 %T Type-Driven Verification of Non-functional Properties. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2019.html#0002BMMZ19 %@ 978-1-4503-7249-7

@inproceedings{conf/ppdp/0002BMMZ19, added-at = {2019-12-27T00:00:00.000+0100}, author = {Brown, Christopher and Barwell, Adam D. and Marquer, Yoann and Minh, Céline and Zendra, Olivier}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/251a90e6fce1089c1acc4fd4377f5bebb/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2019}, editor = {Komendantskaya, Ekaterina}, ee = {https://doi.org/10.1145/3354166.3354171}, interhash = {74c4e14354028dcd41ba01c09889be5b}, intrahash = {51a90e6fce1089c1acc4fd4377f5bebb}, isbn = {978-1-4503-7249-7}, keywords = {dblp}, pages = {6:1-6:15}, publisher = {ACM}, timestamp = {2020-01-09T08:05:43.000+0100}, title = {Type-Driven Verification of Non-functional Properties.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2019.html#0002BMMZ19}, year = 2019 }