%0 Conference Paper %1 conf/issta/RosnerGBBRPZF13 %A Rosner, Nicolás %A Galeotti, Juan P. %A Bermúdez, Santiago %A Blas, Guido Marucci %A Rosso, Santiago Perez De %A Pizzagalli, Lucas %A Zemín, Luciano %A Frias, Marcelo F. %B ISSTA %D 2013 %E Pezzè, Mauro %E Harman, Mark %I ACM %K dblp %P 23-33 %T Parallel bounded analysis in code with rich invariants by refinement of field bounds. %U http://dblp.uni-trier.de/db/conf/issta/issta2013.html#RosnerGBBRPZF13 %@ 978-1-4503-2159-4

@inproceedings{conf/issta/RosnerGBBRPZF13, added-at = {2019-10-19T00:00:00.000+0200}, author = {Rosner, Nicolás and Galeotti, Juan P. and Bermúdez, Santiago and Blas, Guido Marucci and Rosso, Santiago Perez De and Pizzagalli, Lucas and Zemín, Luciano and Frias, Marcelo F.}, biburl = {https://www.bibsonomy.org/bibtex/2f9a48ff448e0ef0fc40b59c4e2216bef/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/2013}, editor = {Pezzè, Mauro and Harman, Mark}, ee = {https://doi.org/10.1145/2483760.2483770}, interhash = {91a435335bca48de28e1cbee3cc27ec5}, intrahash = {f9a48ff448e0ef0fc40b59c4e2216bef}, isbn = {978-1-4503-2159-4}, keywords = {dblp}, pages = {23-33}, publisher = {ACM}, timestamp = {2024-04-09T20:41:14.000+0200}, title = {Parallel bounded analysis in code with rich invariants by refinement of field bounds.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2013.html#RosnerGBBRPZF13}, year = 2013 }