%0 Conference Paper %1 conf/date/MitraBD12 %A Mitra, Srobona %A Banerjee, Ansuman %A Dasgupta, Pallab %B DATE %D 2012 %E Rosenstiel, Wolfgang %E Thiele, Lothar %I IEEE %K dblp %P 911-916 %T Formal methods for ranking counterexamples through assumption mining. %U http://dblp.uni-trier.de/db/conf/date/date2012.html#MitraBD12 %@ 978-1-4577-2145-8

@inproceedings{conf/date/MitraBD12, added-at = {2023-03-24T00:00:00.000+0100}, author = {Mitra, Srobona and Banerjee, Ansuman and Dasgupta, Pallab}, biburl = {https://www.bibsonomy.org/bibtex/25b5e85ac0b4c6493eadde6a33954eb3a/dblp}, booktitle = {DATE}, crossref = {conf/date/2012}, editor = {Rosenstiel, Wolfgang and Thiele, Lothar}, ee = {http://dl.acm.org/citation.cfm?id=2492937}, interhash = {b89ff20d0ddd11e55781a3da7b87d201}, intrahash = {5b5e85ac0b4c6493eadde6a33954eb3a}, isbn = {978-1-4577-2145-8}, keywords = {dblp}, pages = {911-916}, publisher = {IEEE}, timestamp = {2024-04-10T06:49:32.000+0200}, title = {Formal methods for ranking counterexamples through assumption mining.}, url = {http://dblp.uni-trier.de/db/conf/date/date2012.html#MitraBD12}, year = 2012 }