Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols. 70 kph to km. 279 verilen avanslar hesabı.

SEPM notes VTU.