Larch/C++ An interface specification language which can be used to formally specify {C++} program {modules}.
版权所有 © 2024 3Dict.cn