Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
所以正如标题所解释的，隐式和显式之间有什么区别？是隐式函数和显式操作吗？还是隐含的序曲代码和显式的 VDM-SL 规范本身？我有点困惑