%0 Conference Paper %1 conf/nfm/LoupA11 %A Loup, Ulrich %A Ábrahám, Erika %B NASA Formal Methods %D 2011 %E Bobaru, Mihaela Gheorghiu %E Havelund, Klaus %E Holzmann, Gerard J. %E Joshi, Rajeev %I Springer %K dblp %P 512-517 %T GiNaCRA: A C++ Library for Real Algebraic Computations. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2011.html#LoupA11 %V 6617 %@ 978-3-642-20397-8

@inproceedings{conf/nfm/LoupA11, added-at = {2017-06-05T00:00:00.000+0200}, author = {Loup, Ulrich and Ábrahám, Erika}, biburl = {https://www.bibsonomy.org/bibtex/207f475e9020ea36e48d9d6e6d1f73ec2/dblp}, booktitle = {NASA Formal Methods}, crossref = {conf/nfm/2011}, editor = {Bobaru, Mihaela Gheorghiu and Havelund, Klaus and Holzmann, Gerard J. and Joshi, Rajeev}, ee = {https://doi.org/10.1007/978-3-642-20398-5_41}, interhash = {2f7b38237943996b917ef03703dd4103}, intrahash = {07f475e9020ea36e48d9d6e6d1f73ec2}, isbn = {978-3-642-20397-8}, keywords = {dblp}, pages = {512-517}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:10:40.000+0200}, title = {GiNaCRA: A C++ Library for Real Algebraic Computations.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2011.html#LoupA11}, volume = 6617, year = 2011 }