Formal Interoperability (1998)

by J Meseguer
Venue:In The 1998 Conference on Mathematics in Artificial Intelligence