Checking Object-Z Formal Specification with Z/EVES automatically
-
Published:2019-04-10
Issue:
Volume:490
Page:042016
-
ISSN:1757-899X
-
Container-title:IOP Conference Series: Materials Science and Engineering
-
language:
-
Short-container-title:IOP Conf. Ser.: Mater. Sci. Eng.
Author:
Cheng Qian,Wen Zhicheng