%0 Conference Paper %1 conf/esop/LeeOCY12 %A Lee, Gyesik %A d. S. Oliveira, Bruno C. %A Cho, Sungkeun %A Yi, Kwangkeun %B ESOP %D 2012 %E Seidl, Helmut %I Springer %K dblp %P 436-455 %T GMeta: A Generic Formal Metatheory Framework for First-Order Representations. %U http://dblp.uni-trier.de/db/conf/esop/esop2012.html#LeeOCY12 %V 7211 %@ 978-3-642-28868-5

@inproceedings{conf/esop/LeeOCY12, added-at = {2018-06-26T00:00:00.000+0200}, author = {Lee, Gyesik and d. S. Oliveira, Bruno C. and Cho, Sungkeun and Yi, Kwangkeun}, biburl = {https://www.bibsonomy.org/bibtex/29c176aebf8c5257cd3d8073e393508f3/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2012}, editor = {Seidl, Helmut}, ee = {https://doi.org/10.1007/978-3-642-28869-2_22}, interhash = {8b62a568c9f6998e7a6000bb07b5837e}, intrahash = {9c176aebf8c5257cd3d8073e393508f3}, isbn = {978-3-642-28868-5}, keywords = {dblp}, pages = {436-455}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:28:23.000+0200}, title = {GMeta: A Generic Formal Metatheory Framework for First-Order Representations.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2012.html#LeeOCY12}, volume = 7211, year = 2012 }