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