SANDLog

swMATH13794MaRDI QIDQ25706FDOQ25706

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
• VCGen

This page was built for software: SANDLog