Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - JOUR ID - DBLP:journals/pcs/JacobsonHKMS12 AU - Jacobson, Ivar AU - Huang, Shihong AU - Kajko-Mattsson, Mira AU - McMahon, Paul AU - Seymour, Ed TI - Semat - Three Year Vision. JO - Program. Comput. Softw. VL - 38 IS - 1 SP - 1 EP - 12 PY - 2012// DO - 10.1134/S0361768812010021 UR - https://doi.org/10.1134/S0361768812010021 UR - https://www.wikidata.org/entity/Q125079934 ER -