Mechanical reasoning about families of UTP theories
Frank Zeyda, Ana CavalcantiVolume:
77
Year:
2012
Language:
english
Pages:
36
DOI:
10.1016/j.scico.2010.02.010
File:
PDF, 536 KB
english, 2012