Verified Systems by Composition from Verified Components Fei Xie and James C. Browne.
Software Technology Insurance for Customers
Federal Cybersecurity Research and Development Program: Strategic Plan.
Verified Systems by Composition from Verified Components