publication venue for
- Formal Verification of Nuclear Systems: Past, Present, and Future. 28:223-235. 2012
Information & Security : An International Journal
Journal
- Overview
- Identity
- View All