TY - GEN
AU - de Braga, Christiano O.
AU - Hæusler, E. Hermann
AU - Meseguer, José
AU - Mosses, Peter D.
TI - Logic Based Program Synthesis and Transformation: Mapping Modular SOS to Rewriting Logic
PB - Springer Berlin Heidelberg
SN - 0302-9743
PY - 2003
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation