此浏览器不再受支持。
请升级到 Microsoft Edge 以使用最新的功能、安全更新和技术支持。
My friend Jean Bezivin, a well-known figure in the 'model engineering' research community, has started a blog. There are already a couple of good posts worth reading. I look forward to reading more.