Keijiro Araki profile picture

Keijiro Araki

Is this your author profile? Create an account to customize it!

Stand Alone

RIMS symposia on software science and engineering II
Formal methods
IFM'99
Formal Methods and Software Engineering
IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999
IFM’99 Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999