Handbook of automated reasoning
An approach to formalization and analysis of message passing libraries
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API
Science of Computer Programming
Hi-index | 0.00 |