DMCA

Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA

by Ralf Sasse , Santiago Escobar , Catherine Meadows , José Meseguer
Citations:1 - 0 self