VCGen

MaRDI QIDQ25707swMATHFDO

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