FM+AM '2010 - Second International Workshop on Formal Methods and Agile MethodsStefan GrunerUitverkocht4,3Hou mij op de hoogte
Eine schematische und grammatische Korrespondenzmethode zur Spezifikation konsistent verteilter DatenmodelleStefan GrunerUitverkocht4,3Hou mij op de hoogte