Application of formal methods in Nokia mobile terminal and network software system development.

Jianli Xu

Browse the full ISoLA paper archive.