VCGen

swMATH13795MaRDI QIDQ25707FDOQ25707

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-662-43613-4_8

Described by source

• A program logic for verifying secure routing protocols

Cited In (2)

• RapidNet
• SANDLog

This page was built for software: VCGen