%0 Conference Paper %1 conf/cav/HoderBM11 %A Hoder, Krystof %A Bjørner, Nikolaj S. %A de Moura, Leonardo Mendonça %B CAV %D 2011 %E Gopalakrishnan, Ganesh %E Qadeer, Shaz %I Springer %K dblp %P 457-462 %T μZ- An Efficient Engine for Fixed Points with Constraints. %U http://dblp.uni-trier.de/db/conf/cav/cav2011.html#HoderBM11 %V 6806 %@ 978-3-642-22109-5

@inproceedings{conf/cav/HoderBM11, added-at = {2022-04-14T00:00:00.000+0200}, author = {Hoder, Krystof and Bjørner, Nikolaj S. and de Moura, Leonardo Mendonça}, biburl = {https://www.bibsonomy.org/bibtex/25e9f0ee94a2262a3065dc068c04243fd/dblp}, booktitle = {CAV}, crossref = {conf/cav/2011}, editor = {Gopalakrishnan, Ganesh and Qadeer, Shaz}, ee = {https://doi.org/10.1007/978-3-642-22110-1_36}, interhash = {407b639780f3a37b075c11078ca9cb62}, intrahash = {5e9f0ee94a2262a3065dc068c04243fd}, isbn = {978-3-642-22109-5}, keywords = {dblp}, pages = {457-462}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:36:20.000+0200}, title = {μZ- An Efficient Engine for Fixed Points with Constraints.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2011.html#HoderBM11}, volume = 6806, year = 2011 }