54

Guest editorial to the special section on model transformation

Year:
2010
Language:
english
File:
PDF, 188 KB
english, 2010
59

Invariant-driven specifications in Maude

Year:
2009
Language:
english
File:
PDF, 865 KB
english, 2009
68

Anaerobic biodegradability and toxicity of chlorophenols

Year:
1999
Language:
english
File:
PDF, 623 KB
english, 1999
69

Formalizing ODP enterprise specifications in Maude

Year:
2003
Language:
english
File:
PDF, 463 KB
english, 2003
79

Adding roles to CORBA objects

Year:
2003
Language:
english
File:
PDF, 804 KB
english, 2003