Futatsugi, K. ; J.A. Goguen, J. Meseguer (Eds.), OBJ/CafeOBJ/Maude Workshop at Formal Methods '99: Formal Specification, Proof, and Applications, Theta, Bucharest, 1999 (1999) |
Joseph Goguen
Languages mentioned
- CafeObj {1997} OBJ for the CAFE Networked Environment
- Maude {1990}
- OBJ {1976}
|
- N. Aoumeur, G. Saake, (1999) N. Aoumeur, G. Saake, "On the specification and validation of cooperative information systems using an extended Maude" pp95-114
|
|