APPSEM II (Applied Semantics)


Several group members participate in this 5th. framework program thematic network, IST-2001-38957 


Theory and Formal Methods at U.Minho