Sciweavers

VMCAI
2010
Springer

Automatic Abstraction for Congruences

14 years 9 months ago
Automatic Abstraction for Congruences
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 Automatic Abstraction for Congruences
Andy King, Harald Søndergaard
Added 05 Mar 2010
Updated 08 Mar 2010
Type Conference
Year 2010
Where VMCAI
Authors Andy King, Harald Søndergaard
Comments (0)