%0 Journal Article %1 journals/pcs/JacobsonHKMS12 %A Jacobson, Ivar %A Huang, Shihong %A Kajko-Mattsson, Mira %A McMahon, Paul %A Seymour, Ed %D 2012 %J Program. Comput. Softw. %K dblp %N 1 %P 1-12 %T Semat - Three Year Vision. %U http://dblp.uni-trier.de/db/journals/pcs/pcs38.html#JacobsonHKMS12 %V 38

@article{journals/pcs/JacobsonHKMS12, added-at = {2020-09-06T00:00:00.000+0200}, author = {Jacobson, Ivar and Huang, Shihong and Kajko-Mattsson, Mira and McMahon, Paul and Seymour, Ed}, biburl = {https://www.bibsonomy.org/bibtex/2385a55c5637719cf9102c314e64b8d5c/dblp}, ee = {https://doi.org/10.1134/S0361768812010021}, interhash = {325da0adf20671980e116464fdc71551}, intrahash = {385a55c5637719cf9102c314e64b8d5c}, journal = {Program. Comput. Softw.}, keywords = {dblp}, number = 1, pages = {1-12}, timestamp = {2020-09-09T12:36:12.000+0200}, title = {Semat - Three Year Vision.}, url = {http://dblp.uni-trier.de/db/journals/pcs/pcs38.html#JacobsonHKMS12}, volume = 38, year = 2012 }