Keijiro Araki · 4 obras en el catálogoObrasFormal methodsIFM'99RIMS Symposium on Software Science and Engineering IITTheoretical Aspects of Computing - ICTAC 2004Theoretical Aspects of Computing - ICTAC 2004