Treffer: Tracing Integration Analysis in Component-Based Formal Specifications

Tracing Integration Analysis in Component-Based Formal Specifications
Formal methods for open object-based distributed systems: 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings

Lopez-Nores, M., Pazos-Arias, J. J., Garcia-Duque, J., Barragans-Martinez, B., Diaz-Redondo, R. P., Fernandez-Vilas, A., Gil-Solla, A., Ramos-Cabrer, M.

LECTURE NOTES IN COMPUTER SCIENCE. :147-162

http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN055913028&indx=1&recIds=ETOCCN055913028

British Library Document Supply Centre Inside Serials & Conference Proceedings