Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: magazinearticle
|
![]() |
A method of automatic proof for the specification and verification of protocolsCavalli, Ana R.Computer communication review, 1984-06, Vol.14 (2), p.100-106Texto completo disponível |