International Workshop on Satisfiability Modulo Theories (10. : 2012 : Manchester) Bezüge im Wissensnetz Veranstaltungsort (1) GND Manchester Homepage (1) GND smt2012.loria.fr