RL: a Language for Formal Engineering.

Hadrien Bride, Jin Song Dong, Zh Hu, Brendan P. Mahony, Jim McCarthy

Browse the full ICECCS paper archive.