DSpace at RU >

Browsing by Author Futatsugi, K.

Full Text	Issue Date	Title	Author(s)
	2006	A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages	Jacobs, B.P.F.; Futatsugi, K.; Jouannaud, J.-P.; Meseguer, J.
	2004	Java Program Verification at Nijmegen: Developments and Perspective	Jacobs, B.; Poll, E.; Futatsugi, K.; Mizoguchi, F.; Yonezaki, N.