100
Voted
VMCAI
2010
Springer
15 years 12 months ago
2010
Springer
c Abstraction for Congruences A Story of Beauty and the Beast Andy King and Harald S?ndergaard Portcullis Computer Security University of Melbourne g and Harald S?ndergaard Automat...