Towards Verifying Declarative Specifications of Reactive Systems.

Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita

Browse the full SoMeT paper archive.