Automated verification of refinement laws
Peter Höfner, Georg Struth, Geoff SutcliffeVolume:
55
Language:
english
Pages:
28
DOI:
10.1007/s10472-009-9151-8
Date:
February, 2009
File:
PDF, 411 KB
english, 2009