![](/img/cover-not-exists.png)
A Technique for Verifying Component-Based Software
Leonardo Mariani, Mauro PezzèVolume:
116
Year:
2005
Language:
english
Pages:
14
DOI:
10.1016/j.entcs.2004.02.089
File:
PDF, 362 KB
english, 2005