Encoding a process algebra using the Event B method.

Published in: Int. J. Softw. Tools Technol. Transf. (2009)

Keyphrases