GRASPIN An Esprit project to develop a personal software engineering environment to support the construction and verification of distributed and non-sequential software systems.
版权所有 © 2024 3Dict.cn