Semantic inheritance in unifying theories of programming
Chen, YifengVolume:
25
Language:
english
Journal:
Formal Aspects of Computing
DOI:
10.1007/s00165-007-0051-6
Date:
January, 2013
File:
PDF, 317 KB
english, 2013