Matthias Kaiserswerth
IEEE/ACM Transactions on Networking
Paper
The date refinement calculator for Z specifications
Related
Conference paper
Strong and flexible domain typing for dynamic E-business
Yigal Hoffner, Simon Field, et al.
EDOC 2004
Robert G. Farrell, Catalina M. Danis, et al.
RecSys 2012
Preeti Malakar, Thomas George, et al.
SC 2012