WITHDRAWN: Special issue on “Intelligent formal techniques for software design: IFTSD” - Withdrawal Notice | RetractBase