%0 Conference Paper %1 conf/ccs/IbrahimB16 %A Ibrahim, Amjad %A Banescu, Sebastian %B SPRO@CCS %D 2016 %E Wyseur, Brecht %E Sutter, Bjorn De %I ACM %K dblp %P 61-71 %T StIns4CS: A State Inspection Tool for C#. %U http://dblp.uni-trier.de/db/conf/ccs/spro2016.html#IbrahimB16 %@ 978-1-4503-4576-7

@inproceedings{conf/ccs/IbrahimB16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Ibrahim, Amjad and Banescu, Sebastian}, biburl = {https://www.bibsonomy.org/bibtex/2496216a4068fd197b477757426fc4ee8/dblp}, booktitle = {SPRO@CCS}, crossref = {conf/ccs/2016spro}, editor = {Wyseur, Brecht and Sutter, Bjorn De}, ee = {https://doi.org/10.1145/2995306.2995313}, interhash = {a0c87753baa9555e219efbfdd2a4754b}, intrahash = {496216a4068fd197b477757426fc4ee8}, isbn = {978-1-4503-4576-7}, keywords = {dblp}, pages = {61-71}, publisher = {ACM}, timestamp = {2020-11-11T11:35:55.000+0100}, title = {StIns4CS: A State Inspection Tool for C#.}, url = {http://dblp.uni-trier.de/db/conf/ccs/spro2016.html#IbrahimB16}, year = 2016 }