A novel tool-input-process-output (TIPO) framework for upgrading to lean 4.0
Submitted: 2023-05-15
|Accepted: 2023-11-28
|Published: 2023-12-23
Copyright (c) 2024 KOTESWARAPAVAN C, L. N. Pattanaik
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.