FM+AM '2010 - Second International Workshop on Formal Methods and Agile MethodsStefan GrunerEsaurito4,3Avvisami
Eine schematische und grammatische Korrespondenzmethode zur Spezifikation konsistent verteilter DatenmodelleStefan GrunerEsaurito4,3Avvisami