Translating B to TLA+ for validation with TLC
Article in Science of Computer Programming (December 2016)
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
Article in Science of Computer Programming (December 2016)
Article in Software Testing Verification and Reliability (April 2014)