Mechanised support for sound refinement tactics
Frank Zeyda, Marcel Oliveira, Ana CavalcantiVolume:
24
Language:
english
Pages:
34
DOI:
10.1007/s00165-011-0218-z
Date:
January, 2012
File:
PDF, 373 KB
english, 2012