Formal Interoperability (1998)

by J Meseguer
Venue:In Proc. of 5th Int. Symp. on Artificial Intelligence and Mathematics