FM+AM '2010 - Second International Workshop on Formal Methods and Agile MethodsStefan GrunerÉpuisé4,3Prévenez-moi
Eine schematische und grammatische Korrespondenzmethode zur Spezifikation konsistent verteilter DatenmodelleStefan GrunerÉpuisé4,3Prévenez-moi