Abstraction versus Implementation Issues in Formalizing the NIEHS Application Profile

Firenze University Press