Conference Proceeding Talk: A Translation from Alloy to B

I presented our original work of translating Alloy to B at the 6th International Conference on Rigorous State Based Methods (ABZ) in 2018.