Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: magazinearticle
|
Proof techniques for hierarchically structured programsRobinson, Lawrence ; Levitt, KarlCommunications of the ACM, 1977-04, Vol.20 (4), p.271-283ACMTexto completo disponível |