Automatic refactoring of conditions and substitutions for B state transition models

Open Webpage

Cheng-Hao Cai, Jing Sun, Gillian Dobbie

Published: 01 Jan 2023, Last Modified: 18 May 2025Softw. Pract. Exp. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0