Formal methods for distributed processing
A comparative evaluation of the Z, CSP, RSL, and VDM languages
ACM SIGSOFT Software Engineering Notes
Protocol quality engineering: addressing industry concerns about formal methods
Computer Communications
Hi-index | 0.00 |