Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
Frank R. Libsch, Takatoshi Tsujimura
Active Matrix Liquid Crystal Displays Technology and Applications 1997
Thomas M. Cheng
IT Professional
Robert G. Farrell, Catalina M. Danis, et al.
RecSys 2012