DMCA

Efficient Decision Procedures for Message Deducibility and Static Equivalence

by Bruno Conchinha , David Basin , Carlos Caleiro
Citations:1 - 1 self