From Animation to Data Validation: The ProB Constraint Solver 10 Years On
Book chapter (June 2014)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Book chapter (June 2014)
Article in Concurrency and Computation Practice and Experience (May 2010)
Article in International Journal on Software Tools for Technology Transfer (January 2006)