%0 Conference Paper %1 conf/snpd/WangX09 %A Wang, Chang-Jing %A Xue, Jin-Yun %B SNPD %D 2009 %E Kim, Haeng-Kon %E Lee, Roger Y. %I IEEE Computer Society %K dblp %P 100-105 %T Formal Derivation of a Generic Algorithmic Program for Solving a Class of Extremum Problems. %U http://dblp.uni-trier.de/db/conf/snpd/snpd2009.html#WangX09 %@ 978-0-7695-3642-2

@inproceedings{conf/snpd/WangX09, added-at = {2023-03-23T00:00:00.000+0100}, author = {Wang, Chang-Jing and Xue, Jin-Yun}, biburl = {https://www.bibsonomy.org/bibtex/2552884f25c5578d9d0d9c3a0a2b80c30/dblp}, booktitle = {SNPD}, crossref = {conf/snpd/2009}, editor = {Kim, Haeng-Kon and Lee, Roger Y.}, ee = {https://doi.ieeecomputersociety.org/10.1109/SNPD.2009.46}, interhash = {1c15dc47518063451b23ad84f2ad21e6}, intrahash = {552884f25c5578d9d0d9c3a0a2b80c30}, isbn = {978-0-7695-3642-2}, keywords = {dblp}, pages = {100-105}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T03:06:39.000+0200}, title = {Formal Derivation of a Generic Algorithmic Program for Solving a Class of Extremum Problems.}, url = {http://dblp.uni-trier.de/db/conf/snpd/snpd2009.html#WangX09}, year = 2009 }