Integrating Formal Techniques into Eclipse Platform.

Jiang Guo, Raj Pamula

Browse the full SNPD paper archive.