Component composition errors and update atomicity: static analysis

Jirí Adámek, Frantisek Plasil. Component composition errors and update atomicity: static analysis. Journal of Software Maintenance, 17(5):363-377, 2005. [doi]

Abstract

Abstract is missing.