%0 Conference Paper %1 journals/corr/abs-1902-09685 %A Gariano, Isaac Oscar %A Servetto, Marco %A Potanin, Alex %A Arora, Hrshikesh %B VPT@Programming %D 2019 %E Lisitsa, Alexei %E Nemytykh, Andrei P. %K dblp %P 49-55 %T Iteratively Composing Statically Verified Traits. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs299.html#abs-1902-09685 %V 299

@inproceedings{journals/corr/abs-1902-09685, added-at = {2020-03-27T00:00:00.000+0100}, author = {Gariano, Isaac Oscar and Servetto, Marco and Potanin, Alex and Arora, Hrshikesh}, biburl = {https://www.bibsonomy.org/bibtex/2a45b8c2ba541a9bb12018a1c27f132bf/dblp}, booktitle = {VPT@Programming}, crossref = {journals/corr/abs-1908-06723}, editor = {Lisitsa, Alexei and Nemytykh, Andrei P.}, ee = {http://arxiv.org/abs/1902.09685}, interhash = {884d8d29d927435cedc684656805191d}, intrahash = {a45b8c2ba541a9bb12018a1c27f132bf}, keywords = {dblp}, pages = {49-55}, series = {EPTCS}, timestamp = {2024-04-09T09:30:50.000+0200}, title = {Iteratively Composing Statically Verified Traits.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs299.html#abs-1902-09685}, volume = 299, year = 2019 }